- Update Xen patches to 3.3-rc5 and c/s 1157.
[linux-flexiantxendom0-3.2.10.git] / arch / x86 / kernel / cpu / bugs_64.c
index 04f0fe5..25a2cda 100644 (file)
@@ -20,6 +20,7 @@ void __init check_bugs(void)
 #endif
        alternative_instructions();
 
+#ifndef CONFIG_XEN
        /*
         * Make sure the first 2MB area is not mapped by huge pages
         * There are typically fixed size MTRRs in there and overlapping
@@ -30,4 +31,5 @@ void __init check_bugs(void)
         */
        if (!direct_gbpages)
                set_memory_4k((unsigned long)__va(0), 1);
+#endif
 }