1 files changed, 61 insertions, 58 deletions

diff --git a/src/kernel/cmos/rtc.c b/src/kernel/cmos/rtc.c
index 4a9c998..7c7bfbe 100644
--- a/src/kernel/cmos/rtc.c
+++ b/src/kernel/cmos/rtc.c
@@ -10,81 +10,84 @@ unsigned int year;
 
 int get_update_in_progress_flag()
 {
-    outb(0x70, 0x0A);
-    return (inb(0x71) & 0x80);
+	outb(0x70, 0x0A);
+	return (inb(0x71) & 0x80);
 }
 
 unsigned char get_rtc_register(int reg)
 {
-    outb(0x70, (uint8_t) reg);
-    return inb(0x71);
+	outb(0x70, (uint8_t)reg);
+	return inb(0x71);
 }
 
 void read_rtc()
 {
-    unsigned int century = 20; // ...
-    unsigned char last_second;
-    unsigned char last_minute;
-    unsigned char last_hour;
-    unsigned char last_day;
-    unsigned char last_month;
-    unsigned char last_year;
-    unsigned char last_century;
-    unsigned char registerB;
+	unsigned int century = 20; // ...
+	unsigned char last_second;
+	unsigned char last_minute;
+	unsigned char last_hour;
+	unsigned char last_day;
+	unsigned char last_month;
+	unsigned char last_year;
+	unsigned char last_century;
+	unsigned char registerB;
 
-    while (get_update_in_progress_flag());
-    second = get_rtc_register(0x00);
-    minute = get_rtc_register(0x02);
-    hour = get_rtc_register(0x04);
-    day = get_rtc_register(0x07);
-    month = get_rtc_register(0x08);
-    year = get_rtc_register(0x09);
-    // century = get_rtc_register(fadt->century); // TODO: Fix fadt table (page fault!)
+	while (get_update_in_progress_flag())
+		;
+	second = get_rtc_register(0x00);
+	minute = get_rtc_register(0x02);
+	hour = get_rtc_register(0x04);
+	day = get_rtc_register(0x07);
+	month = get_rtc_register(0x08);
+	year = get_rtc_register(0x09);
+	// century = get_rtc_register(fadt->century); // TODO: Fix fadt table (page fault!)
 
-    // Try until the values are the same (fix for RTC updates)
-    do {
-        last_second = second;
-        last_minute = minute;
-        last_hour = hour;
-        last_day = day;
-        last_month = month;
-        last_year = (unsigned char) year;
-        last_century = (unsigned char) century;
+	// Try until the values are the same (fix for RTC updates)
+	do {
+		last_second = second;
+		last_minute = minute;
+		last_hour = hour;
+		last_day = day;
+		last_month = month;
+		last_year = (unsigned char)year;
+		last_century = (unsigned char)century;
 
-        while (get_update_in_progress_flag());
-        second = get_rtc_register(0x00);
-        minute = get_rtc_register(0x02);
-        hour = get_rtc_register(0x04);
-        day = get_rtc_register(0x07);
-        month = get_rtc_register(0x08);
-        year = get_rtc_register(0x09);
-        // century = get_rtc_register(fadt->century);
-    } while ((last_second != second) || (last_minute != minute) || (last_hour != hour) ||
-             (last_day != day) || (last_month != month) || (last_year != year) ||
-             (last_century != century));
+		while (get_update_in_progress_flag())
+			;
+		second = get_rtc_register(0x00);
+		minute = get_rtc_register(0x02);
+		hour = get_rtc_register(0x04);
+		day = get_rtc_register(0x07);
+		month = get_rtc_register(0x08);
+		year = get_rtc_register(0x09);
+		// century = get_rtc_register(fadt->century);
+	} while ((last_second != second) || (last_minute != minute) || (last_hour != hour) ||
+		 (last_day != day) || (last_month != month) || (last_year != year) ||
+		 (last_century != century));
 
-    registerB = get_rtc_register(0x0B);
+	registerB = get_rtc_register(0x0B);
 
-    if (!(registerB & 0x04)) {
-        second = (unsigned char) ((second & 0x0F) + ((second / 16) * 10));
-        minute = (unsigned char) ((minute & 0x0F) + ((minute / 16) * 10));
-        hour = (unsigned char) (((hour & 0x0F) + (((hour & 0x70) / 16) * 10)) | (hour & 0x80));
-        day = (unsigned char) ((day & 0x0F) + ((day / 16) * 10));
-        month = (unsigned char) ((month & 0x0F) + ((month / 16) * 10));
-        year = (year & 0x0F) + ((year / 16) * 10);
-        // century = (century & 0x0F) + ((century / 16) * 10);
-    }
+	if (!(registerB & 0x04)) {
+		second = (unsigned char)((second & 0x0F) + ((second / 16) * 10));
+		minute = (unsigned char)((minute & 0x0F) + ((minute / 16) * 10));
+		hour = (unsigned char)(((hour & 0x0F) + (((hour & 0x70) / 16) * 10)) |
+				       (hour & 0x80));
+		day = (unsigned char)((day & 0x0F) + ((day / 16) * 10));
+		month = (unsigned char)((month & 0x0F) + ((month / 16) * 10));
+		year = (year & 0x0F) + ((year / 16) * 10);
+		// century = (century & 0x0F) + ((century / 16) * 10);
+	}
 
-    year += century * 100;
+	year += century * 100;
 
-    // Convert to 24h if necessary
-    if (!(registerB & 0x02) && (hour & 0x80)) {
-        hour = (unsigned char) (((hour & 0x7F) + 12) % 24);
-    }
+	// Convert to 24h if necessary
+	if (!(registerB & 0x02) && (hour & 0x80)) {
+		hour = (unsigned char)(((hour & 0x7F) + 12) % 24);
+	}
 }
 
 void write_time()
 {
-    read_rtc();
-    printf("Current time: %d:%d:%d %d/%d/%d\n", hour, minute, second, month, day, year);
+	read_rtc();
+	printf("Current time: %d:%d:%d %d/%d/%d\n", hour, minute, second, month, day, year);
 }