diff options
Diffstat (limited to 'src/mainboard/iwill')
-rw-r--r-- | src/mainboard/iwill/dk8_htx/acpi_tables.c | 8 | ||||
-rw-r--r-- | src/mainboard/iwill/dk8_htx/irq_tables.c | 2 | ||||
-rw-r--r-- | src/mainboard/iwill/dk8_htx/mptable.c | 2 |
3 files changed, 5 insertions, 7 deletions
diff --git a/src/mainboard/iwill/dk8_htx/acpi_tables.c b/src/mainboard/iwill/dk8_htx/acpi_tables.c index 619f11657f..82195f6e01 100644 --- a/src/mainboard/iwill/dk8_htx/acpi_tables.c +++ b/src/mainboard/iwill/dk8_htx/acpi_tables.c @@ -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"); diff --git a/src/mainboard/iwill/dk8_htx/irq_tables.c b/src/mainboard/iwill/dk8_htx/irq_tables.c index d6837c061b..97676f3c70 100644 --- a/src/mainboard/iwill/dk8_htx/irq_tables.c +++ b/src/mainboard/iwill/dk8_htx/irq_tables.c @@ -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); diff --git a/src/mainboard/iwill/dk8_htx/mptable.c b/src/mainboard/iwill/dk8_htx/mptable.c index c191580efe..25c02b0361 100644 --- a/src/mainboard/iwill/dk8_htx/mptable.c +++ b/src/mainboard/iwill/dk8_htx/mptable.c @@ -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 "; |