Symbol: VMM_MAX_VCPUS
sys/dev/vmm/vmm.c
67
sc->vcpu_max = VMM_MAX_VCPUS;
sys/dev/vmm/vmm.h
61
uint32_t vcp_asid[VMM_MAX_VCPUS];
usr.sbin/vmd/vmd.h
229
uint32_t vmc_asid[VMM_MAX_VCPUS];