Signed-off-by: Jan Kiszka <[email protected]>
---
x86/vmx_tests.c | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/x86/vmx_tests.c b/x86/vmx_tests.c
index a25afdc..d330d5c 100644
--- a/x86/vmx_tests.c
+++ b/x86/vmx_tests.c
@@ -963,8 +963,8 @@ static void ept_main()
{
if (init_fail)
return;
- if (!(ctrl_cpu_rev[0].clr & CPU_SECONDARY)
- && !(ctrl_cpu_rev[1].clr & CPU_EPT)) {
+ if (!(ctrl_cpu_rev[0].clr & CPU_SECONDARY) ||
+ !(ctrl_cpu_rev[1].clr & CPU_EPT)) {
printf("\tEPT is not supported");
return;
}
--
1.8.1.1.298.ge7eed54
--
To unsubscribe from this list: send the line "unsubscribe kvm" in
the body of a message to [email protected]
More majordomo info at http://vger.kernel.org/majordomo-info.html
