diff -r 58b5141c8309 xen/arch/ia64/xen/domain.c
--- a/xen/arch/ia64/xen/domain.c	Wed Aug 23 14:43:48 2006 +0100
+++ b/xen/arch/ia64/xen/domain.c	Tue Aug 22 18:51:41 2006 +0100
@@ -901,17 +901,14 @@ int construct_dom0(struct domain *d,
 	    return rc;
 
 #ifdef VALIDATE_VT
-	/* Temp workaround */
-	if (running_on_sim)
-	    dsi.xen_section_string = (char *)1;
-
+	/* Checking running_on_sim is a temporary workaround */
 	/* Check whether dom0 is vti domain */
-	if ((!vmx_enabled) && !dsi.xen_section_string) {
+	if (!vmx_enabled && !running_on_sim) {
 	    printk("Lack of hardware support for unmodified vmx dom0\n");
 	    panic("");
 	}
 
-	if (vmx_enabled && !dsi.xen_section_string) {
+	if (vmx_enabled && !running_on_sim) {
 	    printk("Dom0 is vmx domain!\n");
 	    vmx_dom0 = 1;
 	}