Jonathan A. Kollasch ([email protected]) just uploaded a new patch set to 
gerrit, which you can find at http://review.coreboot.org/125

-gerrit

commit 523ae5d776879621fabe6f338c1b8c808636a57d
Author: Jonathan A. Kollasch <[email protected]>
Date:   Mon Aug 1 14:15:28 2011 -0500

    Use preferred style of fixed-width integer types
    
    Change-Id: I1abaaa2af4de940584039f9b8c348bb57fb611e0
    Signed-off-by: Jonathan A. Kollasch <[email protected]>
---
 src/mainboard/msi/ms7135/mptable.c  |    2 +-
 src/mainboard/msi/ms7135/romstage.c |    6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/mainboard/msi/ms7135/mptable.c 
b/src/mainboard/msi/ms7135/mptable.c
index fc1caa5..3412145 100644
--- a/src/mainboard/msi/ms7135/mptable.c
+++ b/src/mainboard/msi/ms7135/mptable.c
@@ -52,7 +52,7 @@ static void *smp_write_config_table(void *v)
        {
                device_t dev;
                struct resource *res;
-               uint32_t dword;
+               u32 dword;
 
                dev = dev_find_slot(bus_ck804[0], PCI_DEVFN(sbdn + 0x1, 0));
                if (dev) {
diff --git a/src/mainboard/msi/ms7135/romstage.c 
b/src/mainboard/msi/ms7135/romstage.c
index 8609142..5feef79 100644
--- a/src/mainboard/msi/ms7135/romstage.c
+++ b/src/mainboard/msi/ms7135/romstage.c
@@ -68,8 +68,8 @@ static inline int spd_read_byte(unsigned device, unsigned 
address)
 
 static void sio_setup(void)
 {
-       uint32_t dword;
-       uint8_t byte;
+       u32 dword;
+       u8 byte;
 
        /* Subject decoding */
        byte = pci_read_config8(PCI_DEV(0, CK804_DEVN_BASE + 1, 0), 0x7b);
@@ -85,7 +85,7 @@ static void sio_setup(void)
 
 void cache_as_ram_main(unsigned long bist, unsigned long cpu_init_detectedx)
 {
-       static const uint16_t spd_addr[] = {
+       static const u16 spd_addr[] = {
                DIMM0, DIMM1, 0, 0,
                0, 0, 0, 0,
                0, 0, 0, 0,

-- 
coreboot mailing list: [email protected]
http://www.coreboot.org/mailman/listinfo/coreboot

Reply via email to