Symbol: IA32_VMX_INVEPT_GLOBAL_CTX
sys/arch/amd64/amd64/cpu.c
923
IA32_VMX_INVEPT_GLOBAL_CTX;
sys/arch/amd64/amd64/vmm_machdep.c
809
if (invept(IA32_VMX_INVEPT_GLOBAL_CTX, &vid))