HAOUAS Elyes (ehaouas@noos.fr) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/16771
-gerrit
commit 510202c50502330cefc90c3c0c24089e2675da61 Author: Elyes HAOUAS ehaouas@noos.fr Date: Tue Sep 27 20:40:06 2016 +0200
mainboard/intel/eagleheights/debug.c: Use tabs for indents
Change-Id: I4d2d876d48e018c247e7f365f7c237a4d8ced332 Signed-off-by: Elyes HAOUAS ehaouas@noos.fr --- src/mainboard/intel/eagleheights/debug.c | 186 +++++++++++++++---------------- 1 file changed, 93 insertions(+), 93 deletions(-)
diff --git a/src/mainboard/intel/eagleheights/debug.c b/src/mainboard/intel/eagleheights/debug.c index 79ca0a4..c380795 100644 --- a/src/mainboard/intel/eagleheights/debug.c +++ b/src/mainboard/intel/eagleheights/debug.c @@ -19,104 +19,104 @@
static void print_reg(unsigned char index) { - unsigned char data; + unsigned char data;
- outb(index, 0x2e); - data = inb(0x2f); + outb(index, 0x2e); + data = inb(0x2f); printk(BIOS_DEBUG, "0x%02x: 0x%02x\n", index, data); - return; + return; }
static inline void xbus_en(void) { - /* select the XBUS function in the SIO */ - outb(0x07, 0x2e); - outb(0x0f, 0x2f); - outb(0x30, 0x2e); - outb(0x01, 0x2f); + /* select the XBUS function in the SIO */ + outb(0x07, 0x2e); + outb(0x0f, 0x2f); + outb(0x30, 0x2e); + outb(0x01, 0x2f); return; }
static void setup_func(unsigned char func) { - /* select the function in the SIO */ - outb(0x07, 0x2e); - outb(func, 0x2f); - /* print out the regs */ - print_reg(0x30); - print_reg(0x60); - print_reg(0x61); - print_reg(0x62); - print_reg(0x63); - print_reg(0x70); - print_reg(0x71); - print_reg(0x74); - print_reg(0x75); - return; + /* select the function in the SIO */ + outb(0x07, 0x2e); + outb(func, 0x2f); + /* print out the regs */ + print_reg(0x30); + print_reg(0x60); + print_reg(0x61); + print_reg(0x62); + print_reg(0x63); + print_reg(0x70); + print_reg(0x71); + print_reg(0x74); + print_reg(0x75); + return; }
static inline void siodump(void) { - int i; - unsigned char data; + int i; + unsigned char data;
printk(BIOS_DEBUG, "\n*** SERVER I/O REGISTERS ***\n"); - for (i = 0x10; i <= 0x2d; i++) { - print_reg((unsigned char)i); - } + for (i = 0x10; i <= 0x2d; i++) { + print_reg((unsigned char)i); + } #if 0 - printk(BIOS_DEBUG, "\n*** XBUS REGISTERS ***\n"); - setup_func(0x0f); - for (i = 0xf0; i <= 0xff; i++) { - print_reg((unsigned char)i); - } + printk(BIOS_DEBUG, "\n*** XBUS REGISTERS ***\n"); + setup_func(0x0f); + for (i = 0xf0; i <= 0xff; i++) { + print_reg((unsigned char)i); + }
- printk(BIOS_DEBUG, "\n*** SERIAL 1 CONFIG REGISTERS ***\n"); - setup_func(0x03); - print_reg(0xf0); + printk(BIOS_DEBUG, "\n*** SERIAL 1 CONFIG REGISTERS ***\n"); + setup_func(0x03); + print_reg(0xf0);
- printk(BIOS_DEBUG, "\n*** SERIAL 2 CONFIG REGISTERS ***\n"); - setup_func(0x02); - print_reg(0xf0); + printk(BIOS_DEBUG, "\n*** SERIAL 2 CONFIG REGISTERS ***\n"); + setup_func(0x02); + print_reg(0xf0);
#endif - printk(BIOS_DEBUG, "\n*** GPIO REGISTERS ***\n"); - setup_func(0x07); - for (i = 0xf0; i <= 0xf8; i++) { - print_reg((unsigned char)i); - } - printk(BIOS_DEBUG, "\n*** GPIO VALUES ***\n"); - data = inb(0x68a); + printk(BIOS_DEBUG, "\n*** GPIO REGISTERS ***\n"); + setup_func(0x07); + for (i = 0xf0; i <= 0xf8; i++) { + print_reg((unsigned char)i); + } + printk(BIOS_DEBUG, "\n*** GPIO VALUES ***\n"); + data = inb(0x68a); printk(BIOS_DEBUG, "\nGPDO 4: 0x%02x", data); - data = inb(0x68b); + data = inb(0x68b); printk(BIOS_DEBUG, "\nGPDI 4: 0x%02x\n", data);
#if 0
- printk(BIOS_DEBUG, "\n*** WATCHDOG TIMER REGISTERS ***\n"); - setup_func(0x0a); - print_reg(0xf0); - - printk(BIOS_DEBUG, "\n*** FAN CONTROL REGISTERS ***\n"); - setup_func(0x09); - print_reg(0xf0); - print_reg(0xf1); - - printk(BIOS_DEBUG, "\n*** RTC REGISTERS ***\n"); - setup_func(0x10); - print_reg(0xf0); - print_reg(0xf1); - print_reg(0xf3); - print_reg(0xf6); - print_reg(0xf7); - print_reg(0xfe); - print_reg(0xff); - - printk(BIOS_DEBUG, "\n*** HEALTH MONITORING & CONTROL REGISTERS ***\n"); - setup_func(0x14); - print_reg(0xf0); + printk(BIOS_DEBUG, "\n*** WATCHDOG TIMER REGISTERS ***\n"); + setup_func(0x0a); + print_reg(0xf0); + + printk(BIOS_DEBUG, "\n*** FAN CONTROL REGISTERS ***\n"); + setup_func(0x09); + print_reg(0xf0); + print_reg(0xf1); + + printk(BIOS_DEBUG, "\n*** RTC REGISTERS ***\n"); + setup_func(0x10); + print_reg(0xf0); + print_reg(0xf1); + print_reg(0xf3); + print_reg(0xf6); + print_reg(0xf7); + print_reg(0xfe); + print_reg(0xff); + + printk(BIOS_DEBUG, "\n*** HEALTH MONITORING & CONTROL REGISTERS ***\n"); + setup_func(0x14); + print_reg(0xf0); #endif - return; + return; }
static inline void dump_bar14(unsigned dev) @@ -143,20 +143,20 @@ static inline void dump_bar14(unsigned dev)
static inline void dump_spd_registers(void) { - unsigned device; - device = DIMM0; - while(device <= DIMM7) { - int status = 0; - int i; - printk(BIOS_DEBUG, "\ndimm %02x", device); - - for(i = 0; (i < 256) ; i++) { - if ((i % 16) == 0) + unsigned device; + device = DIMM0; + while(device <= DIMM7) { + 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); status = smbus_read_byte(device, i); - if (status < 0) { - printk(BIOS_DEBUG, "bad device: %d\n", -status); - break; + if (status < 0) { + printk(BIOS_DEBUG, "bad device: %d\n", -status); + break; } printk(BIOS_DEBUG, "%02x ", status); } @@ -167,18 +167,18 @@ static inline void dump_spd_registers(void)
static inline void dump_ipmi_registers(void) { - unsigned device; - device = 0x42; - while(device <= 0x42) { - int status = 0; - int i; - printk(BIOS_DEBUG, "\nipmi %02x", device); - - for(i = 0; (i < 8) ; i++) { + unsigned device; + device = 0x42; + while(device <= 0x42) { + int status = 0; + int i; + printk(BIOS_DEBUG, "\nipmi %02x", device); + + for(i = 0; (i < 8) ; i++) { status = smbus_read_byte(device, 2); - if (status < 0) { - printk(BIOS_DEBUG, "bad device: %d\n", -status); - break; + if (status < 0) { + printk(BIOS_DEBUG, "bad device: %d\n", -status); + break; } printk(BIOS_DEBUG, "%02x ", status); }