vmx: Stupid typo in BUG_ON() stmt.

Signed-off-by: Keir Fraser <keir@xensource.com>
xen-unstable changeset:   15527:ff51ff907f8cce9d10296507e6c4c666cf603876
xen-unstable date:        Tue Jul 10 23:42:13 2007 +0100

diff --git a/xen/arch/x86/hvm/vmx/vmcs.c b/xen/arch/x86/hvm/vmx/vmcs.c
index f4a071212f62a87e734aba8103740ac035537c7b..e5dc6368a09540d98dea61afb7cdd82679a185f4 100644 (file)
--- a/xen/arch/x86/hvm/vmx/vmcs.c
+++ b/xen/arch/x86/hvm/vmx/vmcs.c
@@ -156,7 +156,7 @@ void vmx_init_vmcs_config(void)
 #endif
 
     /* Require Write-Back (WB) memory type for VMCS accesses. */
-    BUG_ON(((vmx_msr_high >> 18) & 15) == 6);
+    BUG_ON(((vmx_msr_high >> 18) & 15) != 6);
 }
 
 static struct vmcs_struct *vmx_alloc_vmcs(void)