Support config option to disable APM BIOS calls.
[seabios.git] / src / rombios32.c
index 68bc8c76897957715320681f1999e58ff0c23bfe..3e73323ad02eee1add6a506a616134da50f24b58 100644 (file)
@@ -1,6 +1,4 @@
 /////////////////////////////////////////////////////////////////////////
-// $Id: rombios32.c,v 1.22 2008/01/27 17:57:26 sshwarts Exp $
-/////////////////////////////////////////////////////////////////////////
 //
 //  32 bit Bochs BIOS init code
 //  Copyright (C) 2006 Fabrice Bellard
 //  License along with this library; if not, write to the Free Software
 //  Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301 USA
 
-#include "util.h" // BX_INFO
-#include "cmos.h" // inb_cmos
+#include "util.h" // dprintf
+#include "pci.h" // PCIDevice
+#include "types.h" // u32
+#include "config.h" // CONFIG_*
 
-#define BX_APPNAME "Bochs"
+// Memory addresses used by this code.  (Note global variables (bss)
+// are at 0x40000).
+#define CPU_COUNT_ADDR    0xf000
+#define AP_BOOT_ADDR      0x10000
+#define BIOS_TMP_STORAGE  0x30000 /* 64 KB used to copy the BIOS to shadow RAM */
 
-#define ACPI_DATA_SIZE    0x00010000L
 #define PM_IO_BASE        0xb000
 #define SMB_IO_BASE       0xb100
-#define CPU_COUNT_ADDR    0xf000
-
-typedef signed char  int8_t;
-typedef short int16_t;
-typedef int   int32_t;
-typedef long long int64_t;
-typedef unsigned char  uint8_t;
-typedef unsigned short uint16_t;
-typedef unsigned int   uint32_t;
-typedef unsigned long long uint64_t;
-
-/* if true, put the MP float table and ACPI RSDT in EBDA and the MP
-   table in RAM. Unfortunately, Linux has bugs with that, so we prefer
-   to modify the BIOS in shadow RAM */
-//#define BX_USE_EBDA_TABLES
-
-/* define it if the (emulated) hardware supports SMM mode */
-#define BX_USE_SMM
 
 #define cpuid(index, eax, ebx, ecx, edx) \
   asm volatile ("cpuid" \
@@ -55,7 +40,7 @@ typedef unsigned long long uint64_t;
 
 #define CPUID_APIC (1 << 9)
 
-#define APIC_BASE    ((uint8_t *)0xfee00000)
+#define APIC_BASE    ((u8 *)0xfee00000)
 #define APIC_ICR_LOW 0x300
 #define APIC_SVR     0x0F0
 #define APIC_ID      0x020
@@ -63,69 +48,64 @@ typedef unsigned long long uint64_t;
 
 #define APIC_ENABLED 0x0100
 
-#define AP_BOOT_ADDR 0x10000
-
 #define MPTABLE_MAX_SIZE  0x00002000
 #define SMI_CMD_IO_ADDR   0xb2
 
-#define BIOS_TMP_STORAGE  0x00030000 /* 64 KB used to copy the BIOS to shadow RAM */
-
-static inline void writel(void *addr, uint32_t val)
+static inline void writel(void *addr, u32 val)
 {
-    *(volatile uint32_t *)addr = val;
+    *(volatile u32 *)addr = val;
 }
 
-static inline void writew(void *addr, uint16_t val)
+static inline void writew(void *addr, u16 val)
 {
-    *(volatile uint16_t *)addr = val;
+    *(volatile u16 *)addr = val;
 }
 
-static inline void writeb(void *addr, uint8_t val)
+static inline void writeb(void *addr, u8 val)
 {
-    *(volatile uint8_t *)addr = val;
+    *(volatile u8 *)addr = val;
 }
 
-static inline uint32_t readl(const void *addr)
+static inline u32 readl(const void *addr)
 {
-    return *(volatile const uint32_t *)addr;
+    return *(volatile const u32 *)addr;
 }
 
-static inline uint16_t readw(const void *addr)
+static inline u16 readw(const void *addr)
 {
-    return *(volatile const uint16_t *)addr;
+    return *(volatile const u16 *)addr;
 }
 
-static inline uint8_t readb(const void *addr)
+static inline u8 readb(const void *addr)
 {
-    return *(volatile const uint8_t *)addr;
+    return *(volatile const u8 *)addr;
 }
 
 int smp_cpus;
-uint32_t cpuid_signature;
-uint32_t cpuid_features;
-uint32_t cpuid_ext_features;
-unsigned long ram_size;
-uint8_t bios_uuid[16];
-#ifdef BX_USE_EBDA_TABLES
+u32 cpuid_signature;
+u32 cpuid_features;
+u32 cpuid_ext_features;
+u8 bios_uuid[16];
+#if (CONFIG_USE_EBDA_TABLES == 1)
 unsigned long ebda_cur_addr;
 #endif
 int acpi_enabled;
-uint32_t pm_io_base, smb_io_base;
+u32 pm_io_base, smb_io_base;
 int pm_sci_int;
 unsigned long bios_table_cur_addr;
 unsigned long bios_table_end_addr;
 
 void uuid_probe(void)
 {
-#ifdef BX_QEMU
-    uint32_t eax, ebx, ecx, edx;
+#if (CONFIG_QEMU == 1)
+    u32 eax, ebx, ecx, edx;
 
     // check if backdoor port exists
     asm volatile ("outl %%eax, %%dx"
         : "=a" (eax), "=b" (ebx), "=c" (ecx), "=d" (edx)
         : "a" (0x564d5868), "c" (0xa), "d" (0x5658));
     if (ebx == 0x564d5868) {
-        uint32_t *uuid_ptr = (uint32_t *)bios_uuid;
+        u32 *uuid_ptr = (u32 *)bios_uuid;
         // get uuid
         asm volatile ("outl %%eax, %%dx"
             : "=a" (eax), "=b" (ebx), "=c" (ecx), "=d" (edx)
@@ -144,36 +124,23 @@ void uuid_probe(void)
 
 void cpu_probe(void)
 {
-    uint32_t eax, ebx, ecx, edx;
+    u32 eax, ebx, ecx, edx;
     cpuid(1, eax, ebx, ecx, edx);
     cpuid_signature = eax;
     cpuid_features = edx;
     cpuid_ext_features = ecx;
 }
 
-void ram_probe(void)
-{
-  if (inb_cmos(0x34) | inb_cmos(0x35))
-    ram_size = (inb_cmos(0x34) | (inb_cmos(0x35) << 8)) * 65536 +
-        16 * 1024 * 1024;
-  else
-    ram_size = (inb_cmos(0x17) | (inb_cmos(0x18) << 8)) * 1024;
-#ifdef BX_USE_EBDA_TABLES
-    ebda_cur_addr = ((*(uint16_t *)(0x40e)) << 4) + 0x380;
-#endif
-    BX_INFO("ram_size=0x%08lx\n", ram_size);
-}
-
 /****************************************************/
 /* SMP probe */
 
-extern uint8_t smp_ap_boot_code_start;
-extern uint8_t smp_ap_boot_code_end;
+extern u8 smp_ap_boot_code_start;
+extern u8 smp_ap_boot_code_end;
 
 /* find the number of CPUs by launching a SIPI to them */
 void smp_probe(void)
 {
-    uint32_t val, sipi_vector;
+    u32 val, sipi_vector;
 
     smp_cpus = 1;
     if (cpuid_features & CPUID_APIC) {
@@ -197,7 +164,7 @@ void smp_probe(void)
 
         smp_cpus = readw((void *)CPU_COUNT_ADDR);
     }
-    BX_INFO("Found %d cpu(s)\n", smp_cpus);
+    dprintf(1, "Found %d cpu(s)\n", smp_cpus);
 }
 
 /****************************************************/
@@ -223,58 +190,17 @@ void smp_probe(void)
 #define PCI_MIN_GNT            0x3e    /* 8 bits */
 #define PCI_MAX_LAT            0x3f    /* 8 bits */
 
-typedef struct PCIDevice {
-    int bus;
-    int devfn;
-} PCIDevice;
-
-static uint32_t pci_bios_io_addr;
-static uint32_t pci_bios_mem_addr;
-static uint32_t pci_bios_bigmem_addr;
+static u32 pci_bios_io_addr;
+static u32 pci_bios_mem_addr;
+static u32 pci_bios_bigmem_addr;
 /* host irqs corresponding to PCI irqs A-D */
-static uint8_t pci_irqs[4] = { 11, 9, 11, 9 };
+static u8 pci_irqs[4] = { 11, 9, 11, 9 };
 static PCIDevice i440_pcidev;
 
-static void pci_config_writel(PCIDevice *d, uint32_t addr, uint32_t val)
-{
-    outl(0x80000000 | (d->bus << 16) | (d->devfn << 8) | (addr & 0xfc), 0xcf8);
-    outl(val, 0xcfc);
-}
-
-static void pci_config_writew(PCIDevice *d, uint32_t addr, uint32_t val)
-{
-    outl(0x80000000 | (d->bus << 16) | (d->devfn << 8) | (addr & 0xfc), 0xcf8);
-    outw(val, 0xcfc + (addr & 2));
-}
-
-static void pci_config_writeb(PCIDevice *d, uint32_t addr, uint32_t val)
-{
-    outl(0x80000000 | (d->bus << 16) | (d->devfn << 8) | (addr & 0xfc), 0xcf8);
-    outb(val, 0xcfc + (addr & 3));
-}
-
-static uint32_t pci_config_readl(PCIDevice *d, uint32_t addr)
-{
-    outl(0x80000000 | (d->bus << 16) | (d->devfn << 8) | (addr & 0xfc), 0xcf8);
-    return inl(0xcfc);
-}
-
-static uint32_t pci_config_readw(PCIDevice *d, uint32_t addr)
-{
-    outl(0x80000000 | (d->bus << 16) | (d->devfn << 8) | (addr & 0xfc), 0xcf8);
-    return inw(0xcfc + (addr & 2));
-}
-
-static uint32_t pci_config_readb(PCIDevice *d, uint32_t addr)
-{
-    outl(0x80000000 | (d->bus << 16) | (d->devfn << 8) | (addr & 0xfc), 0xcf8);
-    return inb(0xcfc + (addr & 3));
-}
-
-static void pci_set_io_region_addr(PCIDevice *d, int region_num, uint32_t addr)
+static void pci_set_io_region_addr(PCIDevice d, int region_num, u32 addr)
 {
-    uint16_t cmd;
-    uint32_t ofs, old_addr;
+    u16 cmd;
+    u32 ofs, old_addr;
 
     if ( region_num == PCI_ROM_SLOT ) {
         ofs = 0x30;
@@ -285,7 +211,7 @@ static void pci_set_io_region_addr(PCIDevice *d, int region_num, uint32_t addr)
     old_addr = pci_config_readl(d, ofs);
 
     pci_config_writel(d, ofs, addr);
-    BX_INFO("region %d: 0x%08x\n", region_num, addr);
+    dprintf(1, "region %d: 0x%08x\n", region_num, addr);
 
     /* enable memory mappings */
     cmd = pci_config_readw(d, PCI_COMMAND);
@@ -301,15 +227,15 @@ static void pci_set_io_region_addr(PCIDevice *d, int region_num, uint32_t addr)
 /* return the global irq number corresponding to a given device irq
    pin. We could also use the bus number to have a more precise
    mapping. */
-static int pci_slot_get_pirq(PCIDevice *pci_dev, int irq_num)
+static int pci_slot_get_pirq(PCIDevice pci_dev, int irq_num)
 {
     int slot_addend;
-    slot_addend = (pci_dev->devfn >> 3) - 1;
+    slot_addend = (pci_dev.devfn >> 3) - 1;
     return (irq_num + slot_addend) & 3;
 }
 
 static void
-copy_bios(PCIDevice *d, int v)
+copy_bios(PCIDevice d, int v)
 {
     pci_config_writeb(d, 0x59, v);
     memcpy((void *)0x000f0000, (void *)BIOS_TMP_STORAGE, 0x10000);
@@ -323,11 +249,11 @@ copy_bios(PCIDevice *d, int v)
             (__addr - __start < __size); \
         })
 
-static void bios_shadow_init(PCIDevice *d)
+static void bios_shadow_init(PCIDevice d)
 {
     bios_table_cur_addr = 0xf0000 | OFFSET_freespace2_start;
     bios_table_end_addr = 0xf0000 | OFFSET_freespace2_end;
-    BX_INFO("bios_table_addr: 0x%08lx end=0x%08lx\n",
+    dprintf(1, "bios_table_addr: 0x%08lx end=0x%08lx\n",
             bios_table_cur_addr, bios_table_end_addr);
 
     /* remap the BIOS to shadow RAM an keep it read/write while we
@@ -342,18 +268,21 @@ static void bios_shadow_init(PCIDevice *d)
         // Current code is in shadowed area.  Perform the copy from
         // the code that is in the temporary location.
         u32 pos = (u32)copy_bios - 0xf0000 + BIOS_TMP_STORAGE;
-        void (*func)(PCIDevice *, int) = (void*)pos;
+        void (*func)(PCIDevice, int) = (void*)pos;
         func(d, v);
     } else {
         copy_bios(d, v);
     }
 
-    i440_pcidev = *d;
+    // Clear the area just copied.
+    memset((void *)BIOS_TMP_STORAGE, 0, 0x10000);
+
+    i440_pcidev = d;
 }
 
 static void bios_lock_shadow_ram(void)
 {
-    PCIDevice *d = &i440_pcidev;
+    PCIDevice d = i440_pcidev;
     int v;
 
     wbinvd();
@@ -362,16 +291,16 @@ static void bios_lock_shadow_ram(void)
     pci_config_writeb(d, 0x59, v);
 }
 
-static void pci_bios_init_bridges(PCIDevice *d)
+static void pci_bios_init_bridges(PCIDevice d)
 {
-    uint16_t vendor_id, device_id;
+    u16 vendor_id, device_id;
 
     vendor_id = pci_config_readw(d, PCI_VENDOR_ID);
     device_id = pci_config_readw(d, PCI_DEVICE_ID);
 
     if (vendor_id == 0x8086 && device_id == 0x7000) {
         int i, irq;
-        uint8_t elcr[2];
+        u8 elcr[2];
 
         /* PIIX3 bridge */
 
@@ -386,7 +315,7 @@ static void pci_bios_init_bridges(PCIDevice *d)
         }
         outb(elcr[0], 0x4d0);
         outb(elcr[1], 0x4d1);
-        BX_INFO("PIIX3 init: elcr=%02x %02x\n",
+        dprintf(1, "PIIX3 init: elcr=%02x %02x\n",
                 elcr[0], elcr[1]);
     } else if (vendor_id == 0x8086 && device_id == 0x1237) {
         /* i440 PCI bridge */
@@ -463,13 +392,13 @@ asm(
     "  .code32\n"
     );
 
-extern uint8_t smm_relocation_start, smm_relocation_end;
-extern uint8_t smm_code_start, smm_code_end;
+extern u8 smm_relocation_start, smm_relocation_end;
+extern u8 smm_code_start, smm_code_end;
 
-#ifdef BX_USE_SMM
-static void smm_init(PCIDevice *d)
+#if (CONFIG_USE_SMM == 1)
+static void smm_init(PCIDevice d)
 {
-    uint32_t value;
+    u32 value;
 
     /* check if SMM init is already done */
     value = pci_config_readl(d, 0x58);
@@ -489,10 +418,11 @@ static void smm_init(PCIDevice *d)
         outb(0x00, 0xb2);
 
         /* wait until SMM code executed */
-        while (inb(0xb3) != 0x00);
+        while (inb(0xb3) != 0x00)
+            ;
 
         /* enable the SMM memory window */
-        pci_config_writeb(&i440_pcidev, 0x72, 0x02 | 0x48);
+        pci_config_writeb(i440_pcidev, 0x72, 0x02 | 0x48);
 
         /* copy the SMM code */
         memcpy((void *)0xa8000, &smm_code_start,
@@ -500,22 +430,22 @@ static void smm_init(PCIDevice *d)
         wbinvd();
 
         /* close the SMM memory window and enable normal SMM */
-        pci_config_writeb(&i440_pcidev, 0x72, 0x02 | 0x08);
+        pci_config_writeb(i440_pcidev, 0x72, 0x02 | 0x08);
     }
 }
 #endif
 
-static void pci_bios_init_device(PCIDevice *d)
+static void pci_bios_init_device(PCIDevice d)
 {
     int class;
-    uint32_t *paddr;
+    u32 *paddr;
     int i, pin, pic_irq, vendor_id, device_id;
 
     class = pci_config_readw(d, PCI_CLASS_DEVICE);
     vendor_id = pci_config_readw(d, PCI_VENDOR_ID);
     device_id = pci_config_readw(d, PCI_DEVICE_ID);
-    BX_INFO("PCI: bus=%d devfn=0x%02x: vendor_id=0x%04x device_id=0x%04x\n",
-            d->bus, d->devfn, vendor_id, device_id);
+    dprintf(1, "PCI: bus=%d devfn=0x%02x: vendor_id=0x%04x device_id=0x%04x\n",
+            d.bus, d.devfn, vendor_id, device_id);
     switch(class) {
     case 0x0101:
         if (vendor_id == 0x8086 && device_id == 0x7010) {
@@ -559,7 +489,7 @@ static void pci_bios_init_device(PCIDevice *d)
         /* default memory mappings */
         for(i = 0; i < PCI_NUM_REGIONS; i++) {
             int ofs;
-            uint32_t val, size ;
+            u32 val, size ;
 
             if (i == PCI_ROM_SLOT)
                 ofs = 0x30;
@@ -600,23 +530,21 @@ static void pci_bios_init_device(PCIDevice *d)
         pci_config_writel(d, 0x90, smb_io_base | 1);
         pci_config_writeb(d, 0xd2, 0x09); /* enable SMBus io space */
         pm_sci_int = pci_config_readb(d, PCI_INTERRUPT_LINE);
-#ifdef BX_USE_SMM
+#if (CONFIG_USE_SMM == 1)
         smm_init(d);
 #endif
         acpi_enabled = 1;
     }
 }
 
-void pci_for_each_device(void (*init_func)(PCIDevice *d))
+void pci_for_each_device(void (*init_func)(PCIDevice d))
 {
-    PCIDevice d1, *d = &d1;
     int bus, devfn;
-    uint16_t vendor_id, device_id;
+    u16 vendor_id, device_id;
 
     for(bus = 0; bus < 1; bus++) {
         for(devfn = 0; devfn < 256; devfn++) {
-            d->bus = bus;
-            d->devfn = devfn;
+            PCIDevice d = pci_bd(bus, devfn);
             vendor_id = pci_config_readw(d, PCI_VENDOR_ID);
             device_id = pci_config_readw(d, PCI_DEVICE_ID);
             if (vendor_id != 0xffff || device_id != 0xffff) {
@@ -630,7 +558,7 @@ void pci_bios_init(void)
 {
     pci_bios_io_addr = 0xc000;
     pci_bios_mem_addr = 0xf0000000;
-    pci_bios_bigmem_addr = ram_size;
+    pci_bios_bigmem_addr = GET_EBDA(ram_size);
     if (pci_bios_bigmem_addr < 0x90000000)
         pci_bios_bigmem_addr = 0x90000000;
 
@@ -642,35 +570,35 @@ void pci_bios_init(void)
 /****************************************************/
 /* Multi Processor table init */
 
-static void putb(uint8_t **pp, int val)
+static void putb(u8 **pp, int val)
 {
-    uint8_t *q;
+    u8 *q;
     q = *pp;
     *q++ = val;
     *pp = q;
 }
 
-static void putstr(uint8_t **pp, const char *str)
+static void putstr(u8 **pp, const char *str)
 {
-    uint8_t *q;
+    u8 *q;
     q = *pp;
     while (*str)
         *q++ = *str++;
     *pp = q;
 }
 
-static void putle16(uint8_t **pp, int val)
+static void putle16(u8 **pp, int val)
 {
-    uint8_t *q;
+    u8 *q;
     q = *pp;
     *q++ = val;
     *q++ = val >> 8;
     *pp = q;
 }
 
-static void putle32(uint8_t **pp, int val)
+static void putle32(u8 **pp, int val)
 {
-    uint8_t *q;
+    u8 *q;
     q = *pp;
     *q++ = val;
     *q++ = val >> 8;
@@ -679,15 +607,6 @@ static void putle32(uint8_t **pp, int val)
     *pp = q;
 }
 
-static int mpf_checksum(const uint8_t *data, int len)
-{
-    int sum, i;
-    sum = 0;
-    for(i = 0; i < len; i++)
-        sum += data[i];
-    return sum & 0xff;
-}
-
 static unsigned long align(unsigned long addr, unsigned long v)
 {
     return (addr + v - 1) & ~(v - 1);
@@ -695,27 +614,28 @@ static unsigned long align(unsigned long addr, unsigned long v)
 
 static void mptable_init(void)
 {
-    uint8_t *mp_config_table, *q, *float_pointer_struct;
+    u8 *mp_config_table, *q, *float_pointer_struct;
     int ioapic_id, i, len;
     int mp_config_table_size;
 
-#ifdef BX_QEMU
+#if (CONFIG_QEMU == 1)
     if (smp_cpus <= 1)
         return;
 #endif
 
-#ifdef BX_USE_EBDA_TABLES
-    mp_config_table = (uint8_t *)(ram_size - ACPI_DATA_SIZE - MPTABLE_MAX_SIZE);
+#if (CONFIG_USE_EBDA_TABLES == 1)
+    mp_config_table = (u8 *)(GET_EBDA(ram_size) - CONFIG_ACPI_DATA_SIZE
+                             - MPTABLE_MAX_SIZE);
 #else
     bios_table_cur_addr = align(bios_table_cur_addr, 16);
-    mp_config_table = (uint8_t *)bios_table_cur_addr;
+    mp_config_table = (u8 *)bios_table_cur_addr;
 #endif
     q = mp_config_table;
     putstr(&q, "PCMP"); /* "PCMP signature */
     putle16(&q, 0); /* table length (patched later) */
     putb(&q, 4); /* spec rev */
     putb(&q, 0); /* checksum (patched later) */
-#ifdef BX_QEMU
+#if (CONFIG_QEMU == 1)
     putstr(&q, "QEMUCPU "); /* OEM id */
 #else
     putstr(&q, "BOCHSCPU");
@@ -779,21 +699,21 @@ static void mptable_init(void)
     mp_config_table[4] = len;
     mp_config_table[5] = len >> 8;
 
-    mp_config_table[7] = -mpf_checksum(mp_config_table, q - mp_config_table);
+    mp_config_table[7] = -checksum(mp_config_table, q - mp_config_table);
 
     mp_config_table_size = q - mp_config_table;
 
-#ifndef BX_USE_EBDA_TABLES
+#if (CONFIG_USE_EBDA_TABLES != 1)
     bios_table_cur_addr += mp_config_table_size;
 #endif
 
     /* floating pointer structure */
-#ifdef BX_USE_EBDA_TABLES
+#if (CONFIG_USE_EBDA_TABLES == 1)
     ebda_cur_addr = align(ebda_cur_addr, 16);
-    float_pointer_struct = (uint8_t *)ebda_cur_addr;
+    float_pointer_struct = (u8 *)ebda_cur_addr;
 #else
     bios_table_cur_addr = align(bios_table_cur_addr, 16);
-    float_pointer_struct = (uint8_t *)bios_table_cur_addr;
+    float_pointer_struct = (u8 *)bios_table_cur_addr;
 #endif
     q = float_pointer_struct;
     putstr(&q, "_MP_");
@@ -809,14 +729,14 @@ static void mptable_init(void)
     putb(&q, 0);
     putb(&q, 0);
     putb(&q, 0);
-    float_pointer_struct[10] =
-        -mpf_checksum(float_pointer_struct, q - float_pointer_struct);
-#ifdef BX_USE_EBDA_TABLES
+    float_pointer_struct[10] = -checksum(float_pointer_struct
+                                         , q - float_pointer_struct);
+#if (CONFIG_USE_EBDA_TABLES == 1)
     ebda_cur_addr += (q - float_pointer_struct);
 #else
     bios_table_cur_addr += (q - float_pointer_struct);
 #endif
-    BX_INFO("MP table addr=0x%08lx MPC table addr=0x%08lx size=0x%x\n",
+    dprintf(1, "MP table addr=0x%08lx MPC table addr=0x%08lx size=0x%x\n",
             (unsigned long)float_pointer_struct,
             (unsigned long)mp_config_table,
             mp_config_table_size);
@@ -829,15 +749,15 @@ static void mptable_init(void)
    BSD license) */
 
 #define ACPI_TABLE_HEADER_DEF   /* ACPI common table header */ \
-       uint8_t                            signature [4];          /* ACPI signature (4 ASCII characters) */\
-       uint32_t                             length;                 /* Length of table, in bytes, including header */\
-       uint8_t                              revision;               /* ACPI Specification minor version # */\
-       uint8_t                              checksum;               /* To make sum of entire table == 0 */\
-       uint8_t                            oem_id [6];             /* OEM identification */\
-       uint8_t                            oem_table_id [8];       /* OEM table identification */\
-       uint32_t                             oem_revision;           /* OEM revision number */\
-       uint8_t                            asl_compiler_id [4];    /* ASL compiler vendor ID */\
-       uint32_t                             asl_compiler_revision;  /* ASL compiler revision number */
+       u8                            signature [4];          /* ACPI signature (4 ASCII characters) */\
+       u32                             length;                 /* Length of table, in bytes, including header */\
+       u8                              revision;               /* ACPI Specification minor version # */\
+       u8                              checksum;               /* To make sum of entire table == 0 */\
+       u8                            oem_id [6];             /* OEM identification */\
+       u8                            oem_table_id [8];       /* OEM table identification */\
+       u32                             oem_revision;           /* OEM revision number */\
+       u8                            asl_compiler_id [4];    /* ASL compiler vendor ID */\
+       u32                             asl_compiler_revision;  /* ASL compiler revision number */
 
 
 struct acpi_table_header         /* ACPI common table header */
@@ -847,15 +767,15 @@ struct acpi_table_header         /* ACPI common table header */
 
 struct rsdp_descriptor         /* Root System Descriptor Pointer */
 {
-       uint8_t                            signature [8];          /* ACPI signature, contains "RSD PTR " */
-       uint8_t                              checksum;               /* To make sum of struct == 0 */
-       uint8_t                            oem_id [6];             /* OEM identification */
-       uint8_t                              revision;               /* Must be 0 for 1.0, 2 for 2.0 */
-       uint32_t                             rsdt_physical_address;  /* 32-bit physical address of RSDT */
-       uint32_t                             length;                 /* XSDT Length in bytes including hdr */
-       uint64_t                             xsdt_physical_address;  /* 64-bit physical address of XSDT */
-       uint8_t                              extended_checksum;      /* Checksum of entire table */
-       uint8_t                            reserved [3];           /* Reserved field must be 0 */
+       u8                            signature [8];          /* ACPI signature, contains "RSD PTR " */
+       u8                              checksum;               /* To make sum of struct == 0 */
+       u8                            oem_id [6];             /* OEM identification */
+       u8                              revision;               /* Must be 0 for 1.0, 2 for 2.0 */
+       u32                             rsdt_physical_address;  /* 32-bit physical address of RSDT */
+       u32                             length;                 /* XSDT Length in bytes including hdr */
+       u64                             xsdt_physical_address;  /* 64-bit physical address of XSDT */
+       u8                              extended_checksum;      /* Checksum of entire table */
+       u8                            reserved [3];           /* Reserved field must be 0 */
 };
 
 /*
@@ -864,7 +784,7 @@ struct rsdp_descriptor         /* Root System Descriptor Pointer */
 struct rsdt_descriptor_rev1
 {
        ACPI_TABLE_HEADER_DEF                           /* ACPI common table header */
-       uint32_t                             table_offset_entry [3]; /* Array of pointers to other */
+       u32                             table_offset_entry [3]; /* Array of pointers to other */
                         /* ACPI tables */
 };
 
@@ -873,14 +793,14 @@ struct rsdt_descriptor_rev1
  */
 struct facs_descriptor_rev1
 {
-       uint8_t                            signature[4];           /* ACPI Signature */
-       uint32_t                             length;                 /* Length of structure, in bytes */
-       uint32_t                             hardware_signature;     /* Hardware configuration signature */
-       uint32_t                             firmware_waking_vector; /* ACPI OS waking vector */
-       uint32_t                             global_lock;            /* Global Lock */
-       uint32_t                             S4bios_f        : 1;    /* Indicates if S4BIOS support is present */
-       uint32_t                             reserved1       : 31;   /* Must be 0 */
-       uint8_t                              resverved3 [40];        /* Reserved - must be zero */
+       u8                            signature[4];           /* ACPI Signature */
+       u32                             length;                 /* Length of structure, in bytes */
+       u32                             hardware_signature;     /* Hardware configuration signature */
+       u32                             firmware_waking_vector; /* ACPI OS waking vector */
+       u32                             global_lock;            /* Global Lock */
+       u32                             S4bios_f        : 1;    /* Indicates if S4BIOS support is present */
+       u32                             reserved1       : 31;   /* Must be 0 */
+       u8                              resverved3 [40];        /* Reserved - must be zero */
 };
 
 
@@ -890,57 +810,57 @@ struct facs_descriptor_rev1
 struct fadt_descriptor_rev1
 {
        ACPI_TABLE_HEADER_DEF                           /* ACPI common table header */
-       uint32_t                             firmware_ctrl;          /* Physical address of FACS */
-       uint32_t                             dsdt;                   /* Physical address of DSDT */
-       uint8_t                              model;                  /* System Interrupt Model */
-       uint8_t                              reserved1;              /* Reserved */
-       uint16_t                             sci_int;                /* System vector of SCI interrupt */
-       uint32_t                             smi_cmd;                /* Port address of SMI command port */
-       uint8_t                              acpi_enable;            /* Value to write to smi_cmd to enable ACPI */
-       uint8_t                              acpi_disable;           /* Value to write to smi_cmd to disable ACPI */
-       uint8_t                              S4bios_req;             /* Value to write to SMI CMD to enter S4BIOS state */
-       uint8_t                              reserved2;              /* Reserved - must be zero */
-       uint32_t                             pm1a_evt_blk;           /* Port address of Power Mgt 1a acpi_event Reg Blk */
-       uint32_t                             pm1b_evt_blk;           /* Port address of Power Mgt 1b acpi_event Reg Blk */
-       uint32_t                             pm1a_cnt_blk;           /* Port address of Power Mgt 1a Control Reg Blk */
-       uint32_t                             pm1b_cnt_blk;           /* Port address of Power Mgt 1b Control Reg Blk */
-       uint32_t                             pm2_cnt_blk;            /* Port address of Power Mgt 2 Control Reg Blk */
-       uint32_t                             pm_tmr_blk;             /* Port address of Power Mgt Timer Ctrl Reg Blk */
-       uint32_t                             gpe0_blk;               /* Port addr of General Purpose acpi_event 0 Reg Blk */
-       uint32_t                             gpe1_blk;               /* Port addr of General Purpose acpi_event 1 Reg Blk */
-       uint8_t                              pm1_evt_len;            /* Byte length of ports at pm1_x_evt_blk */
-       uint8_t                              pm1_cnt_len;            /* Byte length of ports at pm1_x_cnt_blk */
-       uint8_t                              pm2_cnt_len;            /* Byte Length of ports at pm2_cnt_blk */
-       uint8_t                              pm_tmr_len;              /* Byte Length of ports at pm_tm_blk */
-       uint8_t                              gpe0_blk_len;           /* Byte Length of ports at gpe0_blk */
-       uint8_t                              gpe1_blk_len;           /* Byte Length of ports at gpe1_blk */
-       uint8_t                              gpe1_base;              /* Offset in gpe model where gpe1 events start */
-       uint8_t                              reserved3;              /* Reserved */
-       uint16_t                             plvl2_lat;              /* Worst case HW latency to enter/exit C2 state */
-       uint16_t                             plvl3_lat;              /* Worst case HW latency to enter/exit C3 state */
-       uint16_t                             flush_size;             /* Size of area read to flush caches */
-       uint16_t                             flush_stride;           /* Stride used in flushing caches */
-       uint8_t                              duty_offset;            /* Bit location of duty cycle field in p_cnt reg */
-       uint8_t                              duty_width;             /* Bit width of duty cycle field in p_cnt reg */
-       uint8_t                              day_alrm;               /* Index to day-of-month alarm in RTC CMOS RAM */
-       uint8_t                              mon_alrm;               /* Index to month-of-year alarm in RTC CMOS RAM */
-       uint8_t                              century;                /* Index to century in RTC CMOS RAM */
-       uint8_t                              reserved4;              /* Reserved */
-       uint8_t                              reserved4a;             /* Reserved */
-       uint8_t                              reserved4b;             /* Reserved */
+       u32                             firmware_ctrl;          /* Physical address of FACS */
+       u32                             dsdt;                   /* Physical address of DSDT */
+       u8                              model;                  /* System Interrupt Model */
+       u8                              reserved1;              /* Reserved */
+       u16                             sci_int;                /* System vector of SCI interrupt */
+       u32                             smi_cmd;                /* Port address of SMI command port */
+       u8                              acpi_enable;            /* Value to write to smi_cmd to enable ACPI */
+       u8                              acpi_disable;           /* Value to write to smi_cmd to disable ACPI */
+       u8                              S4bios_req;             /* Value to write to SMI CMD to enter S4BIOS state */
+       u8                              reserved2;              /* Reserved - must be zero */
+       u32                             pm1a_evt_blk;           /* Port address of Power Mgt 1a acpi_event Reg Blk */
+       u32                             pm1b_evt_blk;           /* Port address of Power Mgt 1b acpi_event Reg Blk */
+       u32                             pm1a_cnt_blk;           /* Port address of Power Mgt 1a Control Reg Blk */
+       u32                             pm1b_cnt_blk;           /* Port address of Power Mgt 1b Control Reg Blk */
+       u32                             pm2_cnt_blk;            /* Port address of Power Mgt 2 Control Reg Blk */
+       u32                             pm_tmr_blk;             /* Port address of Power Mgt Timer Ctrl Reg Blk */
+       u32                             gpe0_blk;               /* Port addr of General Purpose acpi_event 0 Reg Blk */
+       u32                             gpe1_blk;               /* Port addr of General Purpose acpi_event 1 Reg Blk */
+       u8                              pm1_evt_len;            /* Byte length of ports at pm1_x_evt_blk */
+       u8                              pm1_cnt_len;            /* Byte length of ports at pm1_x_cnt_blk */
+       u8                              pm2_cnt_len;            /* Byte Length of ports at pm2_cnt_blk */
+       u8                              pm_tmr_len;              /* Byte Length of ports at pm_tm_blk */
+       u8                              gpe0_blk_len;           /* Byte Length of ports at gpe0_blk */
+       u8                              gpe1_blk_len;           /* Byte Length of ports at gpe1_blk */
+       u8                              gpe1_base;              /* Offset in gpe model where gpe1 events start */
+       u8                              reserved3;              /* Reserved */
+       u16                             plvl2_lat;              /* Worst case HW latency to enter/exit C2 state */
+       u16                             plvl3_lat;              /* Worst case HW latency to enter/exit C3 state */
+       u16                             flush_size;             /* Size of area read to flush caches */
+       u16                             flush_stride;           /* Stride used in flushing caches */
+       u8                              duty_offset;            /* Bit location of duty cycle field in p_cnt reg */
+       u8                              duty_width;             /* Bit width of duty cycle field in p_cnt reg */
+       u8                              day_alrm;               /* Index to day-of-month alarm in RTC CMOS RAM */
+       u8                              mon_alrm;               /* Index to month-of-year alarm in RTC CMOS RAM */
+       u8                              century;                /* Index to century in RTC CMOS RAM */
+       u8                              reserved4;              /* Reserved */
+       u8                              reserved4a;             /* Reserved */
+       u8                              reserved4b;             /* Reserved */
 #if 0
-       uint32_t                             wb_invd         : 1;    /* The wbinvd instruction works properly */
-       uint32_t                             wb_invd_flush   : 1;    /* The wbinvd flushes but does not invalidate */
-       uint32_t                             proc_c1         : 1;    /* All processors support C1 state */
-       uint32_t                             plvl2_up        : 1;    /* C2 state works on MP system */
-       uint32_t                             pwr_button      : 1;    /* Power button is handled as a generic feature */
-       uint32_t                             sleep_button    : 1;    /* Sleep button is handled as a generic feature, or not present */
-       uint32_t                             fixed_rTC       : 1;    /* RTC wakeup stat not in fixed register space */
-       uint32_t                             rtcs4           : 1;    /* RTC wakeup stat not possible from S4 */
-       uint32_t                             tmr_val_ext     : 1;    /* The tmr_val width is 32 bits (0 = 24 bits) */
-       uint32_t                             reserved5       : 23;   /* Reserved - must be zero */
+       u32                             wb_invd         : 1;    /* The wbinvd instruction works properly */
+       u32                             wb_invd_flush   : 1;    /* The wbinvd flushes but does not invalidate */
+       u32                             proc_c1         : 1;    /* All processors support C1 state */
+       u32                             plvl2_up        : 1;    /* C2 state works on MP system */
+       u32                             pwr_button      : 1;    /* Power button is handled as a generic feature */
+       u32                             sleep_button    : 1;    /* Sleep button is handled as a generic feature, or not present */
+       u32                             fixed_rTC       : 1;    /* RTC wakeup stat not in fixed register space */
+       u32                             rtcs4           : 1;    /* RTC wakeup stat not possible from S4 */
+       u32                             tmr_val_ext     : 1;    /* The tmr_val width is 32 bits (0 = 24 bits) */
+       u32                             reserved5       : 23;   /* Reserved - must be zero */
 #else
-        uint32_t flags;
+        u32 flags;
 #endif
 };
 
@@ -959,12 +879,12 @@ struct fadt_descriptor_rev1
 struct multiple_apic_table
 {
        ACPI_TABLE_HEADER_DEF                           /* ACPI common table header */
-       uint32_t                             local_apic_address;     /* Physical address of local APIC */
+       u32                             local_apic_address;     /* Physical address of local APIC */
 #if 0
-       uint32_t                             PCATcompat      : 1;    /* A one indicates system also has dual 8259s */
-       uint32_t                             reserved1       : 31;
+       u32                             PCATcompat      : 1;    /* A one indicates system also has dual 8259s */
+       u32                             reserved1       : 31;
 #else
-        uint32_t                             flags;
+        u32                             flags;
 #endif
 };
 
@@ -986,62 +906,53 @@ struct multiple_apic_table
  * MADT sub-structures (Follow MULTIPLE_APIC_DESCRIPTION_TABLE)
  */
 #define APIC_HEADER_DEF                     /* Common APIC sub-structure header */\
-       uint8_t                              type; \
-       uint8_t                              length;
+       u8                              type; \
+       u8                              length;
 
 /* Sub-structures for MADT */
 
 struct madt_processor_apic
 {
        APIC_HEADER_DEF
-       uint8_t                              processor_id;           /* ACPI processor id */
-       uint8_t                              local_apic_id;          /* Processor's local APIC id */
+       u8                              processor_id;           /* ACPI processor id */
+       u8                              local_apic_id;          /* Processor's local APIC id */
 #if 0
-       uint32_t                             processor_enabled: 1;   /* Processor is usable if set */
-       uint32_t                             reserved2       : 31;   /* Reserved, must be zero */
+       u32                             processor_enabled: 1;   /* Processor is usable if set */
+       u32                             reserved2       : 31;   /* Reserved, must be zero */
 #else
-        uint32_t flags;
+        u32 flags;
 #endif
 };
 
 struct madt_io_apic
 {
        APIC_HEADER_DEF
-       uint8_t                              io_apic_id;             /* I/O APIC ID */
-       uint8_t                              reserved;               /* Reserved - must be zero */
-       uint32_t                             address;                /* APIC physical address */
-       uint32_t                             interrupt;              /* Global system interrupt where INTI
+       u8                              io_apic_id;             /* I/O APIC ID */
+       u8                              reserved;               /* Reserved - must be zero */
+       u32                             address;                /* APIC physical address */
+       u32                             interrupt;              /* Global system interrupt where INTI
                          * lines start */
 };
 
 #include "acpi-dsdt.hex"
 
-static inline uint16_t cpu_to_le16(uint16_t x)
+static inline u16 cpu_to_le16(u16 x)
 {
     return x;
 }
 
-static inline uint32_t cpu_to_le32(uint32_t x)
+static inline u32 cpu_to_le32(u32 x)
 {
     return x;
 }
 
-static int acpi_checksum(const uint8_t *data, int len)
-{
-    int sum, i;
-    sum = 0;
-    for(i = 0; i < len; i++)
-        sum += data[i];
-    return (-sum) & 0xff;
-}
-
 static void acpi_build_table_header(struct acpi_table_header *h,
-                                    char *sig, int len, uint8_t rev)
+                                    char *sig, int len, u8 rev)
 {
     memcpy(h->signature, sig, 4);
     h->length = cpu_to_le32(len);
     h->revision = rev;
-#ifdef BX_QEMU
+#if (CONFIG_QEMU == 1)
     memcpy(h->oem_id, "QEMU  ", 6);
     memcpy(h->oem_table_id, "QEMU", 4);
 #else
@@ -1050,18 +961,18 @@ static void acpi_build_table_header(struct acpi_table_header *h,
 #endif
     memcpy(h->oem_table_id + 4, sig, 4);
     h->oem_revision = cpu_to_le32(1);
-#ifdef BX_QEMU
+#if (CONFIG_QEMU == 1)
     memcpy(h->asl_compiler_id, "QEMU", 4);
 #else
     memcpy(h->asl_compiler_id, "BXPC", 4);
 #endif
     h->asl_compiler_revision = cpu_to_le32(1);
-    h->checksum = acpi_checksum((void *)h, len);
+    h->checksum = -checksum((void *)h, len);
 }
 
-int acpi_build_processor_ssdt(uint8_t *ssdt)
+int acpi_build_processor_ssdt(u8 *ssdt)
 {
-    uint8_t *ssdt_ptr = ssdt;
+    u8 *ssdt_ptr = ssdt;
     int i, length;
     int acpi_cpus = smp_cpus > 0xff ? 0xff : smp_cpus;
 
@@ -1118,13 +1029,13 @@ void acpi_bios_init(void)
     struct fadt_descriptor_rev1 *fadt;
     struct facs_descriptor_rev1 *facs;
     struct multiple_apic_table *madt;
-    uint8_t *dsdt, *ssdt;
-    uint32_t base_addr, rsdt_addr, fadt_addr, addr, facs_addr, dsdt_addr, ssdt_addr;
-    uint32_t acpi_tables_size, madt_addr, madt_size;
+    u8 *dsdt, *ssdt;
+    u32 base_addr, rsdt_addr, fadt_addr, addr, facs_addr, dsdt_addr, ssdt_addr;
+    u32 acpi_tables_size, madt_addr, madt_size;
     int i;
 
     /* reserve memory space for tables */
-#ifdef BX_USE_EBDA_TABLES
+#if (CONFIG_USE_EBDA_TABLES == 1)
     ebda_cur_addr = align(ebda_cur_addr, 16);
     rsdp = (void *)(ebda_cur_addr);
     ebda_cur_addr += sizeof(*rsdp);
@@ -1134,7 +1045,7 @@ void acpi_bios_init(void)
     bios_table_cur_addr += sizeof(*rsdp);
 #endif
 
-    addr = base_addr = ram_size - ACPI_DATA_SIZE;
+    addr = base_addr = GET_EBDA(ram_size) - CONFIG_ACPI_DATA_SIZE;
     rsdt_addr = addr;
     rsdt = (void *)(addr);
     addr += sizeof(*rsdt);
@@ -1167,20 +1078,21 @@ void acpi_bios_init(void)
 
     acpi_tables_size = addr - base_addr;
 
-    BX_INFO("ACPI tables: RSDP addr=0x%08lx ACPI DATA addr=0x%08lx size=0x%x\n",
+    dprintf(1, "ACPI tables: RSDP addr=0x%08lx"
+            " ACPI DATA addr=0x%08lx size=0x%x\n",
             (unsigned long)rsdp,
             (unsigned long)rsdt, acpi_tables_size);
 
     /* RSDP */
     memset(rsdp, 0, sizeof(*rsdp));
     memcpy(rsdp->signature, "RSD PTR ", 8);
-#ifdef BX_QEMU
+#if (CONFIG_QEMU == 1)
     memcpy(rsdp->oem_id, "QEMU  ", 6);
 #else
     memcpy(rsdp->oem_id, "BOCHS ", 6);
 #endif
     rsdp->rsdt_physical_address = cpu_to_le32(rsdt_addr);
-    rsdp->checksum = acpi_checksum((void *)rsdp, 20);
+    rsdp->checksum = -checksum((void *)rsdp, 20);
 
     /* RSDT */
     memset(rsdt, 0, sizeof(*rsdt));
@@ -1206,9 +1118,8 @@ void acpi_bios_init(void)
     fadt->pm1_evt_len = 4;
     fadt->pm1_cnt_len = 2;
     fadt->pm_tmr_len = 4;
-    fadt->plvl2_lat = cpu_to_le16(50);
-    fadt->plvl3_lat = cpu_to_le16(50);
-    fadt->plvl3_lat = cpu_to_le16(50);
+    fadt->plvl2_lat = cpu_to_le16(0xfff); // C2 state not supported
+    fadt->plvl3_lat = cpu_to_le16(0xfff); // C3 state not supported
     /* WBINVD + PROC_C1 + PWR_BUTTON + SLP_BUTTON + FIX_RTC */
     fadt->flags = cpu_to_le32((1 << 0) | (1 << 2) | (1 << 4) | (1 << 5) | (1 << 6));
     acpi_build_table_header((struct acpi_table_header *)fadt, "FACP",
@@ -1256,91 +1167,91 @@ void acpi_bios_init(void)
  */
 struct smbios_entry_point {
        char anchor_string[4];
-       uint8_t checksum;
-       uint8_t length;
-       uint8_t smbios_major_version;
-       uint8_t smbios_minor_version;
-       uint16_t max_structure_size;
-       uint8_t entry_point_revision;
-       uint8_t formatted_area[5];
+       u8 checksum;
+       u8 length;
+       u8 smbios_major_version;
+       u8 smbios_minor_version;
+       u16 max_structure_size;
+       u8 entry_point_revision;
+       u8 formatted_area[5];
        char intermediate_anchor_string[5];
-       uint8_t intermediate_checksum;
-       uint16_t structure_table_length;
-       uint32_t structure_table_address;
-       uint16_t number_of_structures;
-       uint8_t smbios_bcd_revision;
+       u8 intermediate_checksum;
+       u16 structure_table_length;
+       u32 structure_table_address;
+       u16 number_of_structures;
+       u8 smbios_bcd_revision;
 } __attribute__((__packed__));
 
 /* This goes at the beginning of every SMBIOS structure. */
 struct smbios_structure_header {
-       uint8_t type;
-       uint8_t length;
-       uint16_t handle;
+       u8 type;
+       u8 length;
+       u16 handle;
 } __attribute__((__packed__));
 
 /* SMBIOS type 0 - BIOS Information */
 struct smbios_type_0 {
        struct smbios_structure_header header;
-       uint8_t vendor_str;
-       uint8_t bios_version_str;
-       uint16_t bios_starting_address_segment;
-       uint8_t bios_release_date_str;
-       uint8_t bios_rom_size;
-       uint8_t bios_characteristics[8];
-       uint8_t bios_characteristics_extension_bytes[2];
-       uint8_t system_bios_major_release;
-       uint8_t system_bios_minor_release;
-       uint8_t embedded_controller_major_release;
-       uint8_t embedded_controller_minor_release;
+       u8 vendor_str;
+       u8 bios_version_str;
+       u16 bios_starting_address_segment;
+       u8 bios_release_date_str;
+       u8 bios_rom_size;
+       u8 bios_characteristics[8];
+       u8 bios_characteristics_extension_bytes[2];
+       u8 system_bios_major_release;
+       u8 system_bios_minor_release;
+       u8 embedded_controller_major_release;
+       u8 embedded_controller_minor_release;
 } __attribute__((__packed__));
 
 /* SMBIOS type 1 - System Information */
 struct smbios_type_1 {
        struct smbios_structure_header header;
-       uint8_t manufacturer_str;
-       uint8_t product_name_str;
-       uint8_t version_str;
-       uint8_t serial_number_str;
-       uint8_t uuid[16];
-       uint8_t wake_up_type;
-       uint8_t sku_number_str;
-       uint8_t family_str;
+       u8 manufacturer_str;
+       u8 product_name_str;
+       u8 version_str;
+       u8 serial_number_str;
+       u8 uuid[16];
+       u8 wake_up_type;
+       u8 sku_number_str;
+       u8 family_str;
 } __attribute__((__packed__));
 
 /* SMBIOS type 3 - System Enclosure (v2.3) */
 struct smbios_type_3 {
        struct smbios_structure_header header;
-       uint8_t manufacturer_str;
-       uint8_t type;
-       uint8_t version_str;
-       uint8_t serial_number_str;
-       uint8_t asset_tag_number_str;
-       uint8_t boot_up_state;
-       uint8_t power_supply_state;
-       uint8_t thermal_state;
-       uint8_t security_status;
-    uint32_t oem_defined;
-    uint8_t height;
-    uint8_t number_of_power_cords;
-    uint8_t contained_element_count;
+       u8 manufacturer_str;
+       u8 type;
+       u8 version_str;
+       u8 serial_number_str;
+       u8 asset_tag_number_str;
+       u8 boot_up_state;
+       u8 power_supply_state;
+       u8 thermal_state;
+       u8 security_status;
+    u32 oem_defined;
+    u8 height;
+    u8 number_of_power_cords;
+    u8 contained_element_count;
     // contained elements follow
 } __attribute__((__packed__));
 
 /* SMBIOS type 4 - Processor Information (v2.0) */
 struct smbios_type_4 {
        struct smbios_structure_header header;
-       uint8_t socket_designation_str;
-       uint8_t processor_type;
-       uint8_t processor_family;
-       uint8_t processor_manufacturer_str;
-       uint32_t processor_id[2];
-       uint8_t processor_version_str;
-       uint8_t voltage;
-       uint16_t external_clock;
-       uint16_t max_speed;
-       uint16_t current_speed;
-       uint8_t status;
-       uint8_t processor_upgrade;
+       u8 socket_designation_str;
+       u8 processor_type;
+       u8 processor_family;
+       u8 processor_manufacturer_str;
+       u32 processor_id[2];
+       u8 processor_version_str;
+       u8 voltage;
+       u16 external_clock;
+       u16 max_speed;
+       u16 current_speed;
+       u8 status;
+       u8 processor_upgrade;
 } __attribute__((__packed__));
 
 /* SMBIOS type 16 - Physical Memory Array
@@ -1348,12 +1259,12 @@ struct smbios_type_4 {
  */
 struct smbios_type_16 {
        struct smbios_structure_header header;
-       uint8_t location;
-       uint8_t use;
-       uint8_t error_correction;
-       uint32_t maximum_capacity;
-       uint16_t memory_error_information_handle;
-       uint16_t number_of_memory_devices;
+       u8 location;
+       u8 use;
+       u8 error_correction;
+       u32 maximum_capacity;
+       u16 memory_error_information_handle;
+       u16 number_of_memory_devices;
 } __attribute__((__packed__));
 
 /* SMBIOS type 17 - Memory Device
@@ -1361,45 +1272,45 @@ struct smbios_type_16 {
  */
 struct smbios_type_17 {
        struct smbios_structure_header header;
-       uint16_t physical_memory_array_handle;
-       uint16_t memory_error_information_handle;
-       uint16_t total_width;
-       uint16_t data_width;
-       uint16_t size;
-       uint8_t form_factor;
-       uint8_t device_set;
-       uint8_t device_locator_str;
-       uint8_t bank_locator_str;
-       uint8_t memory_type;
-       uint16_t type_detail;
+       u16 physical_memory_array_handle;
+       u16 memory_error_information_handle;
+       u16 total_width;
+       u16 data_width;
+       u16 size;
+       u8 form_factor;
+       u8 device_set;
+       u8 device_locator_str;
+       u8 bank_locator_str;
+       u8 memory_type;
+       u16 type_detail;
 } __attribute__((__packed__));
 
 /* SMBIOS type 19 - Memory Array Mapped Address */
 struct smbios_type_19 {
        struct smbios_structure_header header;
-       uint32_t starting_address;
-       uint32_t ending_address;
-       uint16_t memory_array_handle;
-       uint8_t partition_width;
+       u32 starting_address;
+       u32 ending_address;
+       u16 memory_array_handle;
+       u8 partition_width;
 } __attribute__((__packed__));
 
 /* SMBIOS type 20 - Memory Device Mapped Address */
 struct smbios_type_20 {
        struct smbios_structure_header header;
-       uint32_t starting_address;
-       uint32_t ending_address;
-       uint16_t memory_device_handle;
-       uint16_t memory_array_mapped_address_handle;
-       uint8_t partition_row_position;
-       uint8_t interleave_position;
-       uint8_t interleaved_data_depth;
+       u32 starting_address;
+       u32 ending_address;
+       u16 memory_device_handle;
+       u16 memory_array_mapped_address_handle;
+       u8 partition_row_position;
+       u8 interleave_position;
+       u8 interleaved_data_depth;
 } __attribute__((__packed__));
 
 /* SMBIOS type 32 - System Boot Information */
 struct smbios_type_32 {
        struct smbios_structure_header header;
-       uint8_t reserved[6];
-       uint8_t boot_status;
+       u8 reserved[6];
+       u8 boot_status;
 } __attribute__((__packed__));
 
 /* SMBIOS type 127 -- End-of-table */
@@ -1409,13 +1320,11 @@ struct smbios_type_127 {
 
 static void
 smbios_entry_point_init(void *start,
-                        uint16_t max_structure_size,
-                        uint16_t structure_table_length,
-                        uint32_t structure_table_address,
-                        uint16_t number_of_structures)
+                        u16 max_structure_size,
+                        u16 structure_table_length,
+                        u32 structure_table_address,
+                        u16 number_of_structures)
 {
-    uint8_t sum;
-    int i;
     struct smbios_entry_point *ep = (struct smbios_entry_point *)start;
 
     memcpy(ep->anchor_string, "_SM_", 4);
@@ -1435,16 +1344,10 @@ smbios_entry_point_init(void *start,
     ep->checksum = 0;
     ep->intermediate_checksum = 0;
 
-    sum = 0;
-    for (i = 0; i < 0x10; i++)
-        sum += ((int8_t *)start)[i];
-    ep->checksum = -sum;
+    ep->checksum = -checksum(start, 0x10);
 
-    sum = 0;
-    for (i = 0x10; i < ep->length; i++)
-        sum += ((int8_t *)start)[i];
-    ep->intermediate_checksum = -sum;
-    }
+    ep->intermediate_checksum = -checksum(start + 0x10, ep->length - 0x10);
+}
 
 /* Type 0 -- BIOS Information */
 #define RELEASE_DATE_STR "01/01/2007"
@@ -1474,11 +1377,11 @@ smbios_type_0_init(void *start)
     p->embedded_controller_minor_release = 0xff;
 
     start += sizeof(struct smbios_type_0);
-    memcpy((char *)start, BX_APPNAME, sizeof(BX_APPNAME));
-    start += sizeof(BX_APPNAME);
+    memcpy((char *)start, CONFIG_APPNAME, sizeof(CONFIG_APPNAME));
+    start += sizeof(CONFIG_APPNAME);
     memcpy((char *)start, RELEASE_DATE_STR, sizeof(RELEASE_DATE_STR));
     start += sizeof(RELEASE_DATE_STR);
-    *((uint8_t *)start) = 0;
+    *((u8 *)start) = 0;
 
     return start+1;
 }
@@ -1504,7 +1407,7 @@ smbios_type_1_init(void *start)
     p->family_str = 0;
 
     start += sizeof(struct smbios_type_1);
-    *((uint16_t *)start) = 0;
+    *((u16 *)start) = 0;
 
     return start+2;
 }
@@ -1534,7 +1437,7 @@ smbios_type_3_init(void *start)
     p->contained_element_count = 0;
 
     start += sizeof(struct smbios_type_3);
-    *((uint16_t *)start) = 0;
+    *((u16 *)start) = 0;
 
     return start+2;
 }
@@ -1577,7 +1480,7 @@ smbios_type_4_init(void *start, unsigned int cpu_number)
 
 /* Type 16 -- Physical Memory Array */
 static void *
-smbios_type_16_init(void *start, uint32_t memsize)
+smbios_type_16_init(void *start, u32 memsize)
 {
     struct smbios_type_16 *p = (struct smbios_type_16*)start;
 
@@ -1593,14 +1496,14 @@ smbios_type_16_init(void *start, uint32_t memsize)
     p->number_of_memory_devices = 1;
 
     start += sizeof(struct smbios_type_16);
-    *((uint16_t *)start) = 0;
+    *((u16 *)start) = 0;
 
     return start + 2;
 }
 
 /* Type 17 -- Memory Device */
 static void *
-smbios_type_17_init(void *start, uint32_t memory_size_mb)
+smbios_type_17_init(void *start, u32 memory_size_mb)
 {
     struct smbios_type_17 *p = (struct smbios_type_17 *)start;
 
@@ -1613,7 +1516,7 @@ smbios_type_17_init(void *start, uint32_t memory_size_mb)
     p->data_width = 64;
     /* truncate memory_size_mb to 16 bits and clear most significant
        bit [indicates size in MB] */
-    p->size = (uint16_t) memory_size_mb & 0x7fff;
+    p->size = (u16) memory_size_mb & 0x7fff;
     p->form_factor = 0x09; /* DIMM */
     p->device_set = 0;
     p->device_locator_str = 1;
@@ -1624,14 +1527,14 @@ smbios_type_17_init(void *start, uint32_t memory_size_mb)
     start += sizeof(struct smbios_type_17);
     memcpy((char *)start, "DIMM 1", 7);
     start += 7;
-    *((uint8_t *)start) = 0;
+    *((u8 *)start) = 0;
 
     return start+1;
 }
 
 /* Type 19 -- Memory Array Mapped Address */
 static void *
-smbios_type_19_init(void *start, uint32_t memory_size_mb)
+smbios_type_19_init(void *start, u32 memory_size_mb)
 {
     struct smbios_type_19 *p = (struct smbios_type_19 *)start;
 
@@ -1645,14 +1548,14 @@ smbios_type_19_init(void *start, uint32_t memory_size_mb)
     p->partition_width = 1;
 
     start += sizeof(struct smbios_type_19);
-    *((uint16_t *)start) = 0;
+    *((u16 *)start) = 0;
 
     return start + 2;
 }
 
 /* Type 20 -- Memory Device Mapped Address */
 static void *
-smbios_type_20_init(void *start, uint32_t memory_size_mb)
+smbios_type_20_init(void *start, u32 memory_size_mb)
 {
     struct smbios_type_20 *p = (struct smbios_type_20 *)start;
 
@@ -1670,7 +1573,7 @@ smbios_type_20_init(void *start, uint32_t memory_size_mb)
 
     start += sizeof(struct smbios_type_20);
 
-    *((uint16_t *)start) = 0;
+    *((u16 *)start) = 0;
     return start+2;
 }
 
@@ -1687,7 +1590,7 @@ smbios_type_32_init(void *start)
     p->boot_status = 0; /* no errors detected */
 
     start += sizeof(struct smbios_type_32);
-    *((uint16_t *)start) = 0;
+    *((u16 *)start) = 0;
 
     return start+2;
 }
@@ -1703,7 +1606,7 @@ smbios_type_127_init(void *start)
     p->header.handle = 0x7f00;
 
     start += sizeof(struct smbios_type_127);
-    *((uint16_t *)start) = 0;
+    *((u16 *)start) = 0;
 
     return start + 2;
 }
@@ -1712,9 +1615,9 @@ void smbios_init(void)
 {
     unsigned cpu_num, nr_structs = 0, max_struct_size = 0;
     char *start, *p, *q;
-    int memsize = ram_size / (1024 * 1024);
+    int memsize = GET_EBDA(ram_size) / (1024 * 1024);
 
-#ifdef BX_USE_EBDA_TABLES
+#if (CONFIG_USE_EBDA_TABLES == 1)
     ebda_cur_addr = align(ebda_cur_addr, 16);
     start = (void *)(ebda_cur_addr);
 #else
@@ -1722,7 +1625,7 @@ void smbios_init(void)
     start = (void *)(bios_table_cur_addr);
 #endif
 
-       p = (char *)start + sizeof(struct smbios_entry_point);
+    p = (char *)start + sizeof(struct smbios_entry_point);
 
 #define add_struct(fn) { \
     q = (fn); \
@@ -1749,36 +1652,43 @@ void smbios_init(void)
     smbios_entry_point_init(
         start, max_struct_size,
         (p - (char *)start) - sizeof(struct smbios_entry_point),
-        (uint32_t)(start + sizeof(struct smbios_entry_point)),
+        (u32)(start + sizeof(struct smbios_entry_point)),
         nr_structs);
 
-#ifdef BX_USE_EBDA_TABLES
+#if (CONFIG_USE_EBDA_TABLES == 1)
     ebda_cur_addr += (p - (char *)start);
 #else
     bios_table_cur_addr += (p - (char *)start);
 #endif
 
-    BX_INFO("SMBIOS table addr=0x%08lx\n", (unsigned long)start);
+    dprintf(1, "SMBIOS table addr=0x%08lx\n", (unsigned long)start);
 }
 
 void rombios32_init(void)
 {
-    BX_INFO("Starting rombios32\n");
+    if (CONFIG_COREBOOT)
+        // XXX - not supported on coreboot yet.
+        return;
+
+    dprintf(1, "Starting rombios32\n");
 
-    ram_probe();
+#if (CONFIG_USE_EBDA_TABLES == 1)
+    ebda_cur_addr = ((*(u16 *)(0x40e)) << 4) + 0x380;
+    dprintf(1, "ebda_cur_addr: 0x%08lx\n", ebda_cur_addr);
+#endif
 
     cpu_probe();
 
     smp_probe();
 
-    uuid_probe();
-
     pci_bios_init();
 
     if (bios_table_cur_addr != 0) {
 
         mptable_init();
 
+        uuid_probe();
+
         smbios_init();
 
         if (acpi_enabled)
@@ -1786,7 +1696,7 @@ void rombios32_init(void)
 
         bios_lock_shadow_ram();
 
-        BX_INFO("bios_table_cur_addr: 0x%08lx\n", bios_table_cur_addr);
+        dprintf(1, "bios_table_cur_addr: 0x%08lx\n", bios_table_cur_addr);
         if (bios_table_cur_addr > bios_table_end_addr)
             BX_PANIC("bios_table_end_addr overflow!\n");
     }