Make ACPI with low and high tables work again. The RSDP contained a
[coreboot.git] / src / arch / i386 / boot / tables.c
index 5083f20564f874bed432d1dc48e2dd5da32626af..f6f7625f75b2008d2c2ef709d2079525f08a6501 100644 (file)
@@ -66,7 +66,7 @@ struct lb_memory *write_tables(void)
 {
        unsigned long low_table_start, low_table_end;
        unsigned long rom_table_start, rom_table_end;
-#if HAVE_MP_TABLE == 1
+#if HAVE_MP_TABLE == 1 && HAVE_LOW_TABLES == 1
        unsigned long new_low_table_end;
 #endif
 
@@ -114,7 +114,9 @@ struct lb_memory *write_tables(void)
         */
 #if HAVE_ACPI_TABLES == 1
 #if HAVE_HIGH_TABLES == 1
+#if HAVE_LOW_TABLES == 1
        unsigned long high_rsdp=ALIGN(high_table_end, 16);
+#endif
        if (high_tables_base) {
                high_table_end = write_acpi_tables(high_table_end);
                high_table_end = (high_table_end+1023) & ~1023;