Symbol: VM_MAXCPU
sys/dev/vmm/vmm_dev.c
1255
if (vm_maxcpu > VM_MAXCPU) {
sys/dev/vmm/vmm_dev.c
1256
printf("vmm: vm_maxcpu clamped to %u\n", VM_MAXCPU);
sys/dev/vmm/vmm_dev.c
1257
vm_maxcpu = VM_MAXCPU;