Searched refs:vm_maxcpu (Results 1 – 3 of 3) sorted by relevance
293 u_int vm_maxcpu; variable295 &vm_maxcpu, 0, "Maximum number of vCPUs");406 vm_maxcpu = mp_ncpus; in vmm_init()407 TUNABLE_INT_FETCH("hw.vmm.maxcpu", &vm_maxcpu); in vmm_init()409 if (vm_maxcpu > VM_MAXCPU) { in vmm_init()411 vm_maxcpu = VM_MAXCPU; in vmm_init()413 if (vm_maxcpu == 0) in vmm_init()414 vm_maxcpu = 1; in vmm_init()600 vm->vcpu = malloc(sizeof(*vm->vcpu) * vm_maxcpu, M_VM, M_WAITOK | in vm_create()606 vm->maxcpus = vm_maxcpu; in vm_create()
217 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()