diff options
author | Elyes HAOUAS <ehaouas@noos.fr> | 2016-09-27 20:40:06 +0200 |
---|---|---|
committer | Martin Roth <martinroth@google.com> | 2016-09-28 22:07:59 +0200 |
commit | 1a657e93344de43bb3f30dd7785b4a503307105b (patch) | |
tree | 2f10d9167144eee985302ae182ed91466d32c60e /src/mainboard/intel/eagleheights/debug.c | |
parent | d9ceae5f205574020a280edd6917f5689f94423d (diff) |
mainboard/intel/eagleheights/debug.c: Use tabs for indents
Change-Id: I4d2d876d48e018c247e7f365f7c237a4d8ced332
Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/16771
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'src/mainboard/intel/eagleheights/debug.c')
-rw-r--r-- | src/mainboard/intel/eagleheights/debug.c | 186 |
1 files changed, 93 insertions, 93 deletions
diff --git a/src/mainboard/intel/eagleheights/debug.c b/src/mainboard/intel/eagleheights/debug.c index 79ca0a4b4f..c380795edf 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); } |