trivial warning fixes, mostly for ACPI code
authorStefan Reinauer <stepan@coresystems.de>
Wed, 17 Mar 2010 04:40:15 +0000 (04:40 +0000)
committerStefan Reinauer <stepan@openbios.org>
Wed, 17 Mar 2010 04:40:15 +0000 (04:40 +0000)
Signed-off-by: Stefan Reinauer <stepan@coresystems.de>
Acked-by: Stefan Reinauer <stepan@coresystems.de>
git-svn-id: svn://svn.coreboot.org/coreboot/trunk@5251 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1

25 files changed:
src/cpu/amd/model_fxx/model_fxx_init.c
src/include/cpu/amd/microcode.h
src/mainboard/amd/dbm690t/acpi_tables.c
src/mainboard/amd/mahogany/acpi_tables.c
src/mainboard/amd/mahogany_fam10/acpi_tables.c
src/mainboard/amd/pistachio/acpi_tables.c
src/mainboard/amd/serengeti_cheetah/acpi_tables.c
src/mainboard/amd/serengeti_cheetah_fam10/acpi_tables.c
src/mainboard/asus/a8v-e_se/acpi_tables.c
src/mainboard/asus/m2v-mx_se/acpi_tables.c
src/mainboard/gigabyte/m57sli/acpi_tables.c
src/mainboard/iwill/dk8_htx/acpi_tables.c
src/mainboard/iwill/dk8_htx/irq_tables.c
src/mainboard/iwill/dk8_htx/mptable.c
src/mainboard/kontron/kt690/acpi_tables.c
src/mainboard/msi/ms9652_fam10/acpi_tables.c
src/mainboard/technexion/tim5690/acpi_tables.c
src/mainboard/technexion/tim8690/acpi_tables.c
src/mainboard/via/epia-m/acpi_tables.c
src/mainboard/via/epia-m700/acpi_tables.c
src/mainboard/via/epia-n/acpi_tables.c
src/mainboard/via/vt8454c/acpi_tables.c
src/southbridge/amd/amd8111/amd8111_acpi.c
src/southbridge/amd/amd8111/amd8111_nic.c
src/superio/winbond/w83627hf/superio.c

index b4a981bcb37bfe0ea3dd0c7249f81f95f01216b8..b190921d770f43ae8f5b71939431a60b5ca7c478 100644 (file)
@@ -21,6 +21,7 @@
 #include "../../../northbridge/amd/amdk8/amdk8.h"
 
 #include <cpu/amd/model_fxx_rev.h>
+#include <cpu/amd/microcode.h>
 #include <cpu/cpu.h>
 #include <cpu/x86/cache.h>
 #include <cpu/x86/mtrr.h>
@@ -462,8 +463,6 @@ static inline void k8_errata(void)
 
 }
 
-extern void model_fxx_update_microcode(unsigned cpu_deviceid);
-
 #if CONFIG_USBDEBUG_DIRECT
 static unsigned ehci_debug_addr;
 #endif
index 0ebdeb95ff6116b94a6395ea8e2dabd72ff6233a..ece4528cf7559412382a19e1c5588140643252bb 100644 (file)
@@ -2,5 +2,6 @@
 #define CPU_AMD_MICORCODE_H
 
 void amd_update_microcode(void *microcode_updates, unsigned processor_rev_id);
+void model_fxx_update_microcode(unsigned cpu_deviceid);
 #endif /* CPU_AMD_MICROCODE_H */
 
index 00a7c027694763a0a482d0c16b7dc043f35c0bf6..f450b7c4bf6c5bcda480b6345f159bfb7bab56b0 100644 (file)
@@ -101,7 +101,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;
index f8108e8177a75fc4d53b8f517c4f7ba9cef7bd1d..fdc56c8f801b2ec65cb66303c4e81382dce54ceb 100644 (file)
@@ -101,7 +101,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;
index aaa155822b7029c9c08789b8041c64ea43bbe9eb..8e4c7a47dd585a2fcd12444c67ff926232090166 100644 (file)
@@ -93,7 +93,7 @@ extern void get_bus_conf(void);
 extern void update_ssdt(void *ssdt);
 
 
-void update_ssdtx(void *ssdtx, int i)
+static void update_ssdtx(void *ssdtx, int i)
 {
        u8 *PCI;
        u8 *HCIN;
@@ -251,7 +251,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);
 
        /* FACS */ // it needs 64 bit alignment
        current   = ( current + 0x07) & -0x08;
index 2e02462511c528a798dabc4a1963bace19747dff..9b2377c68aeed1025c6b1cfea1c117b55855b6ee 100644 (file)
@@ -101,7 +101,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;
index 9c59160cb6d2803935ae4fe92e10f84071de7e71..a55ab640f3d22477a0b689d85b2a5859f2d3f988 100644 (file)
@@ -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");
index f6741b9ec9a078c6a4fd82c94558a2fb4cbe1805..853e50535f52ed8f949e7a78835677963e27f818 100644 (file)
@@ -165,7 +165,7 @@ extern void get_bus_conf(void);
 extern void update_ssdt(void *ssdt);
 
 
-void update_ssdtx(void *ssdtx, int i)
+static void update_ssdtx(void *ssdtx, int i)
 {
        u8 *PCI;
        u8 *HCIN;
@@ -323,7 +323,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);
 
        /* FACS */ // it needs 64 bit alignment
        current   = ( current + 0x07) & -0x08;
index 8783482a1f3d536ccad1ccaab27b558ea965b65a..80b024dc53c3e0fa432f971dbc152fb00e843dbb 100644 (file)
@@ -123,7 +123,7 @@ unsigned long write_acpi_tables(unsigned long start)
               ((acpi_header_t *) AmlCode)->length);
        dsdt->checksum = 0;     /* Don't trust iasl to get this right. */
        dsdt->checksum = acpi_checksum(dsdt, dsdt->length);
-       printk_debug("ACPI:     * DSDT @ %08x Length %x\n", dsdt,
+       printk_debug("ACPI:     * DSDT @ %p Length %x\n", dsdt,
                     dsdt->length);
        printk_debug("ACPI:     * FADT\n");
 
index 43dbc029e09ed4776058ead87c1d57d2e571ca45..81f6255197a4aadd312f32ba1f9bd2aca61f14b5 100644 (file)
@@ -138,7 +138,7 @@ unsigned long write_acpi_tables(unsigned long start)
               ((acpi_header_t *) AmlCode)->length);
        dsdt->checksum = 0;     /* Don't trust iasl to get this right. */
        dsdt->checksum = acpi_checksum(dsdt, dsdt->length);
-       printk_debug("ACPI:     * DSDT @ %08x Length %x\n", dsdt,
+       printk_debug("ACPI:     * DSDT @ %p Length %x\n", dsdt,
                     dsdt->length);
        printk_debug("ACPI:     * FADT\n");
 
index bc27b9991a43111e9e761854b4d55889fb88cf74..1e3d28c00af694a92b5ec9e4b21e7a6adbbd8a5e 100644 (file)
@@ -148,7 +148,7 @@ unsigned long write_acpi_tables(unsigned long start)
               ((acpi_header_t *) AmlCode)->length);
        dsdt->checksum = 0;     /* Don't trust iasl to get this right. */
        dsdt->checksum = acpi_checksum(dsdt, dsdt->length);
-       printk_debug("ACPI:     * DSDT @ %08x Length %x\n", dsdt,
+       printk_debug("ACPI:     * DSDT @ %p Length %x\n", dsdt,
                     dsdt->length);
        printk_debug("ACPI:     * FADT\n");
 
index 619f11657fc0bed35bb386d41d212fa29b219877..82195f6e01eea27ba227719a6bd040a8585a703f 100644 (file)
@@ -99,7 +99,7 @@ unsigned long acpi_fill_madt(unsigned long current)
                 int j = 0;
 
                 for(i=1; i< sysconf.hc_possible_num; i++) {
-                       unsigned d;
+                       unsigned d = 0;
                         if(!(sysconf.pci1234[i] & 0x1) ) continue;
                         // 8131 need to use +4
                        
@@ -159,7 +159,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;
@@ -203,8 +203,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
@@ -318,7 +316,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");
index d6837c061bba30817a5c28ff10bb98f2a1a3b443..97676f3c7094caacdd905034f210d74a2b1aab48 100644 (file)
@@ -58,7 +58,7 @@ unsigned long write_pirq_routing_table(unsigned long addr)
         addr &= ~15;
 
         /* This table must be betweeen 0xf0000 & 0x100000 */
-        printk_info("Writing IRQ routing tables to 0x%x...", addr);
+        printk_info("Writing IRQ routing tables to 0x%lx...", addr);
 
        pirq = (void *)(addr);
        v = (uint8_t *)(addr);
index c191580efe672384e5509369bf27cc79bed28c79..25c02b0361e59b3876351219e4de2b58a62fb78e 100644 (file)
@@ -12,7 +12,7 @@
 
 extern void get_bus_conf(void);
 
-void *smp_write_config_table(void *v)
+static void *smp_write_config_table(void *v)
 {
         static const char sig[4] = "PCMP";
         static const char oem[8] = "IWILL   ";
index 00a7c027694763a0a482d0c16b7dc043f35c0bf6..f450b7c4bf6c5bcda480b6345f159bfb7bab56b0 100644 (file)
@@ -101,7 +101,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;
index aead6fc1056f246f4fd43c4d28f9919fc305aedf..d2e3997fe6d184f0a2a3dbf876ce99d3f64fd830 100644 (file)
@@ -152,7 +152,7 @@ unsigned long write_acpi_tables(unsigned long start)
               ((acpi_header_t *) AmlCode)->length);
        dsdt->checksum = 0;     /* Don't trust iasl to get this right. */
        dsdt->checksum = acpi_checksum(dsdt, dsdt->length);
-       printk_debug("ACPI:     * DSDT @ %08x Length %x\n", dsdt,
+       printk_debug("ACPI:     * DSDT @ %p Length %x\n", dsdt,
                     dsdt->length);
        printk_debug("ACPI:     * FADT\n");
 
index 00a7c027694763a0a482d0c16b7dc043f35c0bf6..f450b7c4bf6c5bcda480b6345f159bfb7bab56b0 100644 (file)
@@ -101,7 +101,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;
index 00a7c027694763a0a482d0c16b7dc043f35c0bf6..f450b7c4bf6c5bcda480b6345f159bfb7bab56b0 100644 (file)
@@ -101,7 +101,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;
index 3f58d6682429f574ab3ab09c774e06f0fada32ee..3df2b1a1214ed1b5d2c408dff271c34b9b20a8af 100644 (file)
@@ -79,7 +79,7 @@ unsigned long write_acpi_tables(unsigned long start)
        memcpy((void *)dsdt,(void *)AmlCode, ((acpi_header_t *)AmlCode)->length);
        dsdt->checksum = 0; // don't trust intel iasl compiler to get this right
        dsdt->checksum = acpi_checksum(dsdt,dsdt->length);
-       printk_debug("ACPI:     * DSDT @ %08x Length %x\n",dsdt,dsdt->length);
+       printk_debug("ACPI:     * DSDT @ %p Length %x\n",dsdt,dsdt->length);
        printk_debug("ACPI:     * FADT\n");
 
        fadt = (acpi_fadt_t *) current;
index 4664ec111aa2d8d9ff661233159acfc35ad55dcf..51c47149eb00bfcab7774007aa977e0a97a48a94 100644 (file)
@@ -163,7 +163,7 @@ unsigned long write_acpi_tables(unsigned long start)
               ((acpi_header_t *) AmlCode_dsdt)->length);
        dsdt->checksum = 0; /* Don't trust iasl to get this right. */
        dsdt->checksum = acpi_checksum(dsdt, dsdt->length);
-       printk_debug("ACPI:     * DSDT @ %08x Length %x\n", dsdt, dsdt->length);
+       printk_debug("ACPI:     * DSDT @ %p Length %x\n", dsdt, dsdt->length);
 
        printk_debug("ACPI:     * FADT\n");
        fadt = (acpi_fadt_t *) current;
index b5d19c8c209c00e16d55a0669ce3fd78c393ed24..b7cdaeb636c420c2d0c333019e92caa589ae8dce 100644 (file)
@@ -165,7 +165,7 @@ unsigned long write_acpi_tables(unsigned long start)
        memcpy((void *)dsdt,(void *)AmlCode, ((acpi_header_t *)AmlCode)->length);
        dsdt->checksum = 0; // don't trust intel iasl compiler to get this right
        dsdt->checksum = acpi_checksum(dsdt,dsdt->length);
-       printk_debug("ACPI:     * DSDT @ %08x Length %x\n",dsdt,dsdt->length);
+       printk_debug("ACPI:     * DSDT @ %p Length %x\n",dsdt,dsdt->length);
        printk_debug("ACPI:     * FADT\n");
 
        fadt = (acpi_fadt_t *) current;
index 793aceb0177e98871f76c8a3d80b3ab3a0696425..24f7dd42a85002c4a28034ae43a594123976ff89 100644 (file)
@@ -187,7 +187,7 @@ unsigned long write_acpi_tables(unsigned long start)
        dsdt->checksum = 0;     // don't trust intel iasl compiler to get this right
        dsdt->checksum = acpi_checksum(dsdt, dsdt->length);
 #endif
-       printk_debug("ACPI:     * DSDT @ %08x Length %x\n", dsdt,
+       printk_debug("ACPI:     * DSDT @ %p Length %x\n", dsdt,
                     dsdt->length);
        printk_debug("ACPI:     * FADT\n");
 
index f318b376210dffc305fbdea61215300a3b0f94f5..67a789c08a598a59bb757674242808d76c8da569 100644 (file)
@@ -73,12 +73,12 @@ unsigned pm_base;
 static void acpi_init(struct device *dev)
 {
        uint8_t byte;
-       uint16_t word;
        uint16_t pm10_bar;
        uint32_t dword;
        int on;
 
 #if 0
+       uint16_t word;
        printk_debug("ACPI: disabling NMI watchdog.. ");
        byte = pci_read_config8(dev, 0x49);
        pci_write_config8(dev, 0x49, byte | (1<<2));
@@ -98,9 +98,8 @@ static void acpi_init(struct device *dev)
        word = pci_read_config16(dev, 0x46);
        pci_write_config16(dev, 0x46, word | (1<<9));
        printk_debug("done.\n");
-
-       
 #endif
+
        /* To enable the register 0xcf9 in the IO space
         * bit [D5] is set in the amd8111 configuration register.
         * The config. reg. is devBx41.  Register 0xcf9 allows
index 98ac62b5d7d9160eb1bf66a96f8e2b60b9d6f22d..aa06253a4672c87cdedb5cbb3315e74cc6267e60 100644 (file)
@@ -54,12 +54,12 @@ static void nic_init(struct device *dev)
        /* Hard Reset PHY */
        printk_debug("Reseting PHY... ");
        if (conf->phy_lowreset) {
-               write32((void *)(mmio + CMD3), VAL0 | PHY_RST_POL | RESET_PHY);
+               write32((mmio + CMD3), VAL0 | PHY_RST_POL | RESET_PHY);
        } else {
-               write32((void *)(mmio + CMD3), VAL0 | RESET_PHY);
+               write32((mmio + CMD3), VAL0 | RESET_PHY);
        }
        mdelay(15);
-       write32((void *)(mmio + CMD3), RESET_PHY);
+       write32((mmio + CMD3), RESET_PHY);
        printk_debug("Done\n");
 }
 
index 1d9b31c928d7c1e9b139081cf239f84368751ad3..20f7a207cfb4fee8075c955e7a40462a3fbff809 100644 (file)
@@ -57,6 +57,7 @@ static uint8_t pnp_read_index(unsigned long port_base, uint8_t reg)
        return inb(port_base + 1);
 }
 
+#if CONFIG_EXPERT
 static void w83627hf_16_bit_addr_qual(device_t dev)
 {
       int port = dev->path.pnp.port >> 8;
@@ -66,6 +67,7 @@ static void w83627hf_16_bit_addr_qual(device_t dev)
       outb(inb(port + 1) | 0x80, port + 1);
       pnp_exit_ext_func_mode(dev);
 }
+#endif
 
 static void enable_hwm_smbus(device_t dev)
 {