Since some people disapprove of white space cleanups mixed in regular commits
[coreboot.git] / src / northbridge / intel / i945 / debug.c
index a14d0cec63117d5c31593d1ece1f37aeebbbfa82..dd095ca7b37f1c6a896fcff96b5422355837bde6 100644 (file)
@@ -1,6 +1,6 @@
 /*
  * This file is part of the coreboot project.
- * 
+ *
  * Copyright (C) 2007-2008 coresystems GmbH
  *
  * This program is free software; you can redistribute it and/or
 #define SMBUS_MEM_DEVICE_END 0x53
 #define SMBUS_MEM_DEVICE_INC 1
 
-static void print_pci_devices(void)
+static inline void print_pci_devices(void)
 {
        device_t dev;
-       for(dev = PCI_DEV(0, 0, 0); 
-               dev <= PCI_DEV(0, 0x1f, 0x7); 
+       for(dev = PCI_DEV(0, 0, 0);
+               dev <= PCI_DEV(0, 0x1f, 0x7);
                dev += PCI_DEV(0,0,1)) {
                uint32_t id;
                id = pci_read_config32(dev, PCI_VENDOR_ID);
@@ -42,7 +42,7 @@ static void print_pci_devices(void)
        }
 }
 
-static void dump_pci_device(unsigned dev)
+static inline void dump_pci_device(unsigned dev)
 {
        int i;
 
@@ -61,11 +61,11 @@ static void dump_pci_device(unsigned dev)
        }
 }
 
-static void dump_pci_devices(void)
+static inline void dump_pci_devices(void)
 {
        device_t dev;
-       for(dev = PCI_DEV(0, 0, 0); 
-               dev <= PCI_DEV(0, 0x1f, 0x7); 
+       for(dev = PCI_DEV(0, 0, 0);
+               dev <= PCI_DEV(0, 0x1f, 0x7);
                dev += PCI_DEV(0,0,1)) {
                uint32_t id;
                id = pci_read_config32(dev, PCI_VENDOR_ID);
@@ -78,7 +78,7 @@ static void dump_pci_devices(void)
        }
 }
 
-void dump_spd_registers(void)
+static inline void dump_spd_registers(void)
 {
         unsigned device;
         device = SMBUS_MEM_DEVICE_START;
@@ -86,7 +86,7 @@ void dump_spd_registers(void)
                 int status = 0;
                 int i;
                printk(BIOS_DEBUG, "\ndimm %02x", device);
-               
+
                 for(i = 0; (i < 256) ; i++) {
                         if ((i % 16) == 0) {
                                printk(BIOS_DEBUG, "\n%02x: ", i);
@@ -94,7 +94,7 @@ void dump_spd_registers(void)
                        status = smbus_read_byte(device, i);
                         if (status < 0) {
                                 printk(BIOS_DEBUG, "bad device: %02x\n", -status);
-                                break; 
+                                break;
                        }
                        printk(BIOS_DEBUG, "%02x ", status);
                }
@@ -103,7 +103,7 @@ void dump_spd_registers(void)
        }
 }
 
-static void dump_mem(unsigned start, unsigned end)
+static inline void dump_mem(unsigned start, unsigned end)
 {
         unsigned i;
        print_debug("dump_mem:");