Extend ept_access_test_read_write_execute to cover MBEC EPT rwx case, which uses OP_EXEC_USER to execute user mode code when MBEC is enabled. Tests pass with both -vmx-mbec and +vmx-mbec. Signed-off-by: Jon Kohler --- x86/vmx_tests.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/x86/vmx_tests.c b/x86/vmx_tests.c index 9a636eef..ce871141 100644 --- a/x86/vmx_tests.c +++ b/x86/vmx_tests.c @@ -2885,6 +2885,9 @@ static void ept_access_test_read_write_execute(void) ept_access_allowed(EPT_RA | EPT_WA | EPT_EA, OP_READ); ept_access_allowed(EPT_RA | EPT_WA | EPT_EA, OP_WRITE); ept_access_allowed(EPT_RA | EPT_WA | EPT_EA, OP_EXEC); + + if (is_mbec_supported()) + ept_access_allowed(EPT_PRESENT, OP_EXEC_USER); } static void ept_access_test_reserved_bits(void) -- 2.43.0