Searched refs:vm_maxcpu (Results 1 – 3 of 3) sorted by relevance
291 u_int vm_maxcpu; variable293 &vm_maxcpu, 0, "Maximum number of vCPUs");410 vm_maxcpu = mp_ncpus; in vmm_init()411 TUNABLE_INT_FETCH("hw.vmm.maxcpu", &vm_maxcpu); in vmm_init()413 if (vm_maxcpu > VM_MAXCPU) { in vmm_init()415 vm_maxcpu = VM_MAXCPU; in vmm_init()417 if (vm_maxcpu == 0) in vmm_init()418 vm_maxcpu = 1; in vmm_init()604 vm->vcpu = malloc(sizeof(*vm->vcpu) * vm_maxcpu, M_VM, M_WAITOK | in vm_create()610 vm->maxcpus = vm_maxcpu; in vm_create()
223 extern u_int vm_maxcpu; /* maximum virtual cpus */
526 if (vpid > vm_maxcpu) in vpid_free()581 vpid_unr = new_unrhdr(vm_maxcpu + 1, 0xffff, NULL); in vpid_init()