Use preferred style of fixed-width integer types

Change-Id: I1abaaa2af4de940584039f9b8c348bb57fb611e0
Signed-off-by: Jonathan A. Kollasch <jakllsch@kollasch.net>
Reviewed-on: http://review.coreboot.org/125
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Reviewed-by: Peter Stuge <peter@stuge.se>

diff --git a/src/mainboard/msi/ms7135/mptable.c b/src/mainboard/msi/ms7135/mptable.c
index fc1caa5c67cfb6e69eb479bb7b2c7a26075c7d9d..341214539d5068ad5197fbb1932848d6d0c000ff 100644 (file)
--- 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 8609142f1876095dd29eb63ad85ebbe6488462f9..5feef79625d01537c9eeb1f48300678f953c7da6 100644 (file)
--- 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,