summaryrefslogtreecommitdiff
path: root/src/mainboard/intel/eagleheights
diff options
context:
space:
mode:
authorElyes HAOUAS <ehaouas@noos.fr>2016-09-27 20:40:06 +0200
committerMartin Roth <martinroth@google.com>2016-09-28 22:07:59 +0200
commit1a657e93344de43bb3f30dd7785b4a503307105b (patch)
tree2f10d9167144eee985302ae182ed91466d32c60e /src/mainboard/intel/eagleheights
parentd9ceae5f205574020a280edd6917f5689f94423d (diff)
downloadcoreboot-1a657e93344de43bb3f30dd7785b4a503307105b.tar.xz
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')
-rw-r--r--src/mainboard/intel/eagleheights/debug.c186
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);
}