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>

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);
 		}