Symbol: VMX_MAX_CR3_TARGETS
sys/arch/amd64/amd64/vmm_machdep.c
7993
if (cr3_tgt_ct <= VMX_MAX_CR3_TARGETS) {
sys/arch/amd64/amd64/vmm_machdep.c
8000
DPRINTF("(Bogus CR3 Target Count > %d", VMX_MAX_CR3_TARGETS);