# HG changeset patch
# User Alex Williamson <alex.williamson@hp.com>
# Date 1180043038 21600
# Node ID 27735ce15f9770e64938a080054d1a1d41dad5f8
# Parent  301267d0db1293a403da1d1afc11568f7e0abb87
[IA64] Fix assertion in vmx_init_env()

With debug=y (i.e. without NDEBUG), xen/ia64 panics.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>

diff -r 301267d0db12 -r 27735ce15f97 xen/arch/ia64/vmx/vmx_init.c
--- a/xen/arch/ia64/vmx/vmx_init.c	Thu May 24 14:43:14 2007 -0600
+++ b/xen/arch/ia64/vmx/vmx_init.c	Thu May 24 15:43:58 2007 -0600
@@ -132,7 +132,7 @@ vmx_init_env(void)
 	if (!__vsa_base)
 		__vsa_base = tmp_base;
 	else
-		ASSERT(tmp_base != __vsa_base);
+		ASSERT(tmp_base == __vsa_base);
 
 }