Message ID | 389a03783c5883a1244a70634821919c2e1748a8.1387187847.git.jan.kiszka@siemens.com (mailing list archive) |
---|---|
State | New, archived |
Headers | show |
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; }
Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com> --- x86/vmx_tests.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-)