|
@@ -467,8 +467,13 @@ enum vmcs_field {
|
|
|
#define VMX_EPT_WRITABLE_MASK 0x2ull
|
|
|
#define VMX_EPT_EXECUTABLE_MASK 0x4ull
|
|
|
#define VMX_EPT_IPAT_BIT (1ull << 6)
|
|
|
-#define VMX_EPT_ACCESS_BIT (1ull << 8)
|
|
|
-#define VMX_EPT_DIRTY_BIT (1ull << 9)
|
|
|
+#define VMX_EPT_ACCESS_BIT (1ull << 8)
|
|
|
+#define VMX_EPT_DIRTY_BIT (1ull << 9)
|
|
|
+
|
|
|
+/* The mask to use to trigger an EPT Misconfiguration in order to track MMIO */
|
|
|
+#define VMX_EPT_MISCONFIG_WX_VALUE (VMX_EPT_WRITABLE_MASK | \
|
|
|
+ VMX_EPT_EXECUTABLE_MASK)
|
|
|
+
|
|
|
|
|
|
#define VMX_EPT_IDENTITY_PAGETABLE_ADDR 0xfffbc000ul
|
|
|
|