Home
last modified time | relevance | path

Searched refs:vm_maxcpu (Results 1 – 6 of 6) sorted by relevance

/freebsd/sys/dev/vmm/
H A Dvmm_dev.c102 u_int vm_maxcpu; variable
104 &vm_maxcpu, 0, "Maximum number of vCPUs");
1217 vm_maxcpu = mp_ncpus; in vmm_handler()
1218 TUNABLE_INT_FETCH("hw.vmm.maxcpu", &vm_maxcpu); in vmm_handler()
1219 if (vm_maxcpu > VM_MAXCPU) { in vmm_handler()
1221 vm_maxcpu = VM_MAXCPU; in vmm_handler()
1223 if (vm_maxcpu == 0) in vmm_handler()
1224 vm_maxcpu = 1; in vmm_handler()
H A Dvmm_dev.h69 extern u_int vm_maxcpu;
/freebsd/sys/riscv/vmm/
H A Dvmm.c222 vm->maxcpus = vm_maxcpu; in vm_create()
/freebsd/sys/amd64/vmm/
H A Dvmm.c384 vm->vcpu = malloc(sizeof(*vm->vcpu) * vm_maxcpu, M_VM, M_WAITOK | in vm_create()
390 vm->maxcpus = vm_maxcpu; in vm_create()
/freebsd/sys/arm64/vmm/
H A Dvmm.c340 vm->maxcpus = vm_maxcpu; in vm_create()
/freebsd/sys/amd64/vmm/intel/
H A Dvmx.c529 if (vpid > vm_maxcpu) in vpid_free()
584 vpid_unr = new_unrhdr(vm_maxcpu + 1, 0xffff, NULL); in vpid_init()