Searched refs:IA32_VMX_EPT_FAULT_WAS_WRITABLE (Results 1 – 2 of 2) sorted by relevance
1428 #define IA32_VMX_EPT_FAULT_WAS_WRITABLE (1ULL << 4) macro
4491 IA32_VMX_EPT_FAULT_WAS_WRITABLE | IA32_VMX_EPT_FAULT_WAS_EXECABLE; in vmx_get_guest_faulttype()4503 if (exit_qual & IA32_VMX_EPT_FAULT_WAS_WRITABLE) in vmx_get_guest_faulttype()