2 files changed, 0 insertions, 75 deletions

diff --git a/src/mainboard/jetway/nf81-t56n-lf/acpi_tables.c b/src/mainboard/jetway/nf81-t56n-lf/acpi_tables.c
index a3c5728e79..63cdb523a3 100644
--- a/src/mainboard/jetway/nf81-t56n-lf/acpi_tables.c
+++ b/src/mainboard/jetway/nf81-t56n-lf/acpi_tables.c
@@ -28,8 +28,6 @@
 #include <device/pci_ids.h>
 #include <string.h>
 
-#include <lib.h> /* used for hexdump for CONFIG_DEBUG_ACPI */
-
 extern const unsigned char AmlCode[];
 
 unsigned long acpi_fill_ssdt_generator(unsigned long current, const char *oem_table_id)
@@ -267,38 +265,6 @@ unsigned long write_acpi_tables(unsigned long start)
 	current += ssdt2->length;
 	acpi_add_table(rsdp,ssdt2);
 
-#if defined(CONFIG_DEBUG_ACPI)
-	printk(BIOS_DEBUG, "rsdp\n");
-	hexdump(rsdp, sizeof(acpi_rsdp_t));
-
-	printk(BIOS_DEBUG, "rsdt\n");
-	hexdump(rsdt, sizeof(acpi_rsdt_t));
-
-	printk(BIOS_DEBUG, "madt\n");
-	hexdump(madt, madt->header.length);
-
-	printk(BIOS_DEBUG, "srat\n");
-	hexdump(srat, srat->header.length);
-
-	printk(BIOS_DEBUG, "slit\n");
-	hexdump(slit, slit->header.length);
-
-	printk(BIOS_DEBUG, "alib\n");
-	hexdump(ssdt, alib->length);
-
-	printk(BIOS_DEBUG, "ssdt\n");
-	hexdump(ssdt, ssdt->length);
-
-	printk(BIOS_DEBUG, "ssdt2\n");
-	hexdump(ssdt2, ssdt2->length);
-
-	printk(BIOS_DEBUG, "fadt\n");
-	hexdump(fadt, fadt->header.length);
-
-	printk(BIOS_DEBUG, "hest\n");
-	hexdump(hest, hest->header.length);
-#endif /* CONFIG_DEBUG_ACPI */
-
 	printk(BIOS_INFO, "ACPI: done.\n");
 	return current;
 }
diff --git a/src/mainboard/jetway/pa78vm5/acpi_tables.c b/src/mainboard/jetway/pa78vm5/acpi_tables.c
index b783862405..1627fcfe5b 100644
--- a/src/mainboard/jetway/pa78vm5/acpi_tables.c
+++ b/src/mainboard/jetway/pa78vm5/acpi_tables.c
@@ -28,24 +28,6 @@
 #include <cpu/amd/mtrr.h>
 #include <cpu/amd/amdfam10_sysconf.h>
 
-#define DUMP_ACPI_TABLES 0
-
-#if DUMP_ACPI_TABLES == 1
-static void dump_mem(u32 start, u32 end)
-{
-
-	u32 i;
-	print_debug("dump_mem:");
-	for (i = start; i < end; i++) {
-		if ((i & 0xf) == 0) {
-			printk(BIOS_DEBUG, "\n%08x:", i);
-		}
-		printk(BIOS_DEBUG, " %02x", (u8)*((u8 *)i));
-	}
-	print_debug("\n");
-}
-#endif
-
 extern const unsigned char AmlCode[];
 extern const unsigned char AmlCode_ssdt[];
 
@@ -243,29 +225,6 @@ unsigned long write_acpi_tables(unsigned long start)
 	acpi_create_fadt(fadt, facs, dsdt);
 	acpi_add_table(rsdp, fadt);
 
-#if DUMP_ACPI_TABLES == 1
-	printk(BIOS_DEBUG, "rsdp\n");
-	dump_mem(rsdp, ((void *)rsdp) + sizeof(acpi_rsdp_t));
-
-	printk(BIOS_DEBUG, "rsdt\n");
-	dump_mem(rsdt, ((void *)rsdt) + sizeof(acpi_rsdt_t));
-
-	printk(BIOS_DEBUG, "madt\n");
-	dump_mem(madt, ((void *)madt) + madt->header.length);
-
-	printk(BIOS_DEBUG, "srat\n");
-	dump_mem(srat, ((void *)srat) + srat->header.length);
-
-	printk(BIOS_DEBUG, "slit\n");
-	dump_mem(slit, ((void *)slit) + slit->header.length);
-
-	printk(BIOS_DEBUG, "ssdt\n");
-	dump_mem(ssdt, ((void *)ssdt) + ssdt->length);
-
-	printk(BIOS_DEBUG, "fadt\n");
-	dump_mem(fadt, ((void *)fadt) + fadt->header.length);
-#endif
-
 	printk(BIOS_INFO, "ACPI: done.\n");
 	return current;
 }