Symbol: IA32_VMX_EPT_FAULT_WAS_WRITABLE
sys/arch/amd64/amd64/vmm_machdep.c
4943
IA32_VMX_EPT_FAULT_WAS_WRITABLE | IA32_VMX_EPT_FAULT_WAS_EXECABLE;
sys/arch/amd64/amd64/vmm_machdep.c
4955
if (exit_qual & IA32_VMX_EPT_FAULT_WAS_WRITABLE)