Since some people disapprove of white space cleanups mixed in regular commits
[coreboot.git] / src / northbridge / intel / i945 / debug.c
index 4a59fee37225dbec85ebcda5f0321939597831c8..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);
@@ -36,36 +36,36 @@ static void print_pci_devices(void)
                        (((id >> 16) & 0xffff) == 0x0000)) {
                        continue;
                }
-               printk_debug("PCI: %02x:%02x.%02x", (dev >> 20) & 0xff,
+               printk(BIOS_DEBUG, "PCI: %02x:%02x.%02x", (dev >> 20) & 0xff,
                        (dev >> 15) & 0x1f, (dev >> 12) & 7);
-               printk_debug(" [%04x:%04x]\n", id &0xffff, id >> 16);
+               printk(BIOS_DEBUG, " [%04x:%04x]\n", id &0xffff, id >> 16);
        }
 }
 
-static void dump_pci_device(unsigned dev)
+static inline void dump_pci_device(unsigned dev)
 {
        int i;
 
-       printk_debug("PCI: %02x:%02x.%02x\n", (dev >> 20) & 0xff, (dev >> 15) & 0x1f, (dev >> 12) & 7);
+       printk(BIOS_DEBUG, "PCI: %02x:%02x.%02x\n", (dev >> 20) & 0xff, (dev >> 15) & 0x1f, (dev >> 12) & 7);
 
        for(i = 0; i <= 255; i++) {
                unsigned char val;
                if ((i & 0x0f) == 0) {
-                       printk_debug("%02x:", i);
+                       printk(BIOS_DEBUG, "%02x:", i);
                }
                val = pci_read_config8(dev, i);
-               printk_debug(" %02x", val);
+               printk(BIOS_DEBUG, " %02x", val);
                if ((i & 0x0f) == 0x0f) {
-                       printk_debug("\n");
+                       printk(BIOS_DEBUG, "\n");
                }
        }
 }
 
-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,40 +78,40 @@ 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;
         while(device <= SMBUS_MEM_DEVICE_END) {
                 int status = 0;
                 int i;
-               printk_debug("\ndimm %02x", device);
-               
+               printk(BIOS_DEBUG, "\ndimm %02x", device);
+
                 for(i = 0; (i < 256) ; i++) {
                         if ((i % 16) == 0) {
-                               printk_debug("\n%02x: ", i);
+                               printk(BIOS_DEBUG, "\n%02x: ", i);
                         }
                        status = smbus_read_byte(device, i);
                         if (status < 0) {
-                                printk_debug("bad device: %02x\n", -status);
-                                break; 
+                                printk(BIOS_DEBUG, "bad device: %02x\n", -status);
+                                break;
                        }
-                       printk_debug("%02x ", status);
+                       printk(BIOS_DEBUG, "%02x ", status);
                }
                device += SMBUS_MEM_DEVICE_INC;
-               printk_debug("\n");
+               printk(BIOS_DEBUG, "\n");
        }
 }
 
-static void dump_mem(unsigned start, unsigned end)
+static inline void dump_mem(unsigned start, unsigned end)
 {
         unsigned i;
        print_debug("dump_mem:");
         for(i=start;i<end;i++) {
                if((i & 0xf)==0) {
-                       printk_debug("\n%08x:", i);
+                       printk(BIOS_DEBUG, "\n%08x:", i);
                }
-               printk_debug(" %02x", (unsigned char)*((unsigned char *)i));
+               printk(BIOS_DEBUG, " %02x", (unsigned char)*((unsigned char *)i));
         }
         print_debug("\n");
  }