Symbol: IA32_VMX_EPT_FAULT_WAS_READABLE
sys/arch/amd64/amd64/vmm_machdep.c
4942
uint64_t presentmask = IA32_VMX_EPT_FAULT_WAS_READABLE |
sys/arch/amd64/amd64/vmm_machdep.c
4953
if (exit_qual & IA32_VMX_EPT_FAULT_WAS_READABLE)