X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm.c;h=d78a1dc1b5d3a51ebc63d5ed6e5b38039b78db89;hp=6ecdb12560d505137ca192444cfd3fc8ca69674a;hb=9e70ba8a6d2bae61d62c99cbab56753cf1440716;hpb=a5d2c00cc461b4a60a1360a2a0bba55cef467bab

diff --git a/palacios/src/palacios/svm.c b/palacios/src/palacios/svm.c
index 6ecdb12..d78a1dc 100644
--- a/palacios/src/palacios/svm.c
+++ b/palacios/src/palacios/svm.c
@@ -1239,7 +1239,7 @@ int v3_is_svm_capable() {
 	
 	PrintDebug(VM_NONE, VCORE_NONE, "SVM_VM_CR_MSR = 0x%x 0x%x\n", vm_cr_high, vm_cr_low);
 	
-	if ((vm_cr_low & SVM_VM_CR_MSR_svmdis) == 1) {
+	if (vm_cr_low & SVM_VM_CR_MSR_svmdis) {
 	    V3_Print(VM_NONE, VCORE_NONE, "SVM is available but is disabled.\n");
 	    
 	    v3_cpuid(CPUID_SVM_REV_AND_FEATURE_IDS, &eax, &ebx, &ecx, &edx);