Symbol: VMX_EXIT_VMPTRST
sys/arch/amd64/amd64/vmm_machdep.c
4718
case VMX_EXIT_VMPTRST:
sys/arch/amd64/amd64/vmm_machdep.c
7152
case VMX_EXIT_VMPTRST: return "VMPTRST instruction";