trivial warning fixes, mostly for ACPI code

[coreboot.git] / src / mainboard / amd / serengeti_cheetah / acpi_tables.c

diff --git a/src/mainboard/amd/serengeti_cheetah/acpi_tables.c b/src/mainboard/amd/serengeti_cheetah/acpi_tables.c
index 9c59160cb6d2803935ae4fe92e10f84071de7e71..a55ab640f3d22477a0b689d85b2a5859f2d3f988 100644 (file)
--- a/src/mainboard/amd/serengeti_cheetah/acpi_tables.c
+++ b/src/mainboard/amd/serengeti_cheetah/acpi_tables.c
@@ -156,7 +156,7 @@ unsigned long acpi_fill_madt(unsigned long current)
 
 extern void get_bus_conf(void);
 
-void update_ssdtx(void *ssdtx, int i)
+static void update_ssdtx(void *ssdtx, int i)
 {
         uint8_t *PCI;
         uint8_t *HCIN;
@@ -200,8 +200,6 @@ unsigned long write_acpi_tables(unsigned long start)
        acpi_header_t *ssdtx;
        unsigned char *p;
 
-       unsigned char *AmlCode_ssdtx[HC_POSSIBLE_NUM];
-
        int i;
 
        get_bus_conf(); //it will get sblk, pci1234, hcdn, and sbdn
@@ -313,7 +311,7 @@ unsigned long write_acpi_tables(unsigned long start)
        current += ((acpi_header_t *)AmlCode)->length;
        memcpy((void *)dsdt,(void *)AmlCode, \
                        ((acpi_header_t *)AmlCode)->length);
-       printk_debug("ACPI:    * DSDT @ %08x Length %x\n",dsdt,dsdt->length);
+       printk_debug("ACPI:    * DSDT @ %p Length %x\n",dsdt,dsdt->length);
 
        /* FDAT */
        printk_debug("ACPI:    * FADT\n");