- Fix race condition in option_table.h generation by moving the include
[coreboot.git] / src / pc80 / mc146818rtc_early.c
index 6db9ec8e1a538412499e0c3a3dd4f997f934daa6..d09d6b9df0cae7d5824b7c26a0eee3d4c23302a3 100644 (file)
@@ -1,5 +1,8 @@
 #include <pc80/mc146818rtc.h>
-#include <part/fallback_boot.h>
+#include <fallback.h>
+#if CONFIG_USE_OPTION_TABLE
+#include "option_table.h"
+#endif
 
 #ifndef CONFIG_MAX_REBOOT_CNT
 #error "CONFIG_MAX_REBOOT_CNT not defined"
@@ -8,28 +11,6 @@
 #error "CONFIG_MAX_REBOOT_CNT too high"
 #endif
 
-static unsigned char cmos_read(unsigned char addr)
-{
-       int offs = 0;
-       if (addr >= 128) {
-               offs = 2;
-               addr -= 128;
-       }
-       outb(addr, RTC_BASE_PORT + offs + 0);
-       return inb(RTC_BASE_PORT + offs + 1);
-}
-
-static void cmos_write(unsigned char val, unsigned char addr)
-{
-       int offs = 0;
-       if (addr >= 128) {
-               offs = 2;
-               addr -= 128;
-       }
-       outb(addr, RTC_BASE_PORT + offs + 0);
-       outb(val, RTC_BASE_PORT + offs + 1);
-}
-
 static int cmos_error(void)
 {
        unsigned char reg_d;
@@ -40,31 +21,35 @@ static int cmos_error(void)
 
 static int cmos_chksum_valid(void)
 {
+#if CONFIG_USE_OPTION_TABLE
        unsigned char addr;
        unsigned long sum, old_sum;
        sum = 0;
        /* Comput the cmos checksum */
-       for(addr = CONFIG_LB_CKS_RANGE_START; addr <= CONFIG_LB_CKS_RANGE_END; addr++) {
+       for(addr = LB_CKS_RANGE_START; addr <= LB_CKS_RANGE_END; addr++) {
                sum += cmos_read(addr);
        }
        sum = (sum & 0xffff) ^ 0xffff;
 
        /* Read the stored checksum */
-       old_sum = cmos_read(CONFIG_LB_CKS_LOC) << 8;
-       old_sum |=  cmos_read(CONFIG_LB_CKS_LOC+1);
+       old_sum = cmos_read(LB_CKS_LOC) << 8;
+       old_sum |=  cmos_read(LB_CKS_LOC+1);
 
        return sum == old_sum;
+#else
+       return 0;
+#endif
 }
 
 
-static int last_boot_normal(void)
+static inline int last_boot_normal(void)
 {
        unsigned char byte;
        byte = cmos_read(RTC_BOOT_BYTE);
        return (byte & (1 << 1));
 }
 
-static int do_normal_boot(void)
+static inline int do_normal_boot(void)
 {
        unsigned char byte;
 
@@ -81,7 +66,7 @@ static int do_normal_boot(void)
 
        /* The RTC_BOOT_BYTE is now o.k. see where to go. */
        byte = cmos_read(RTC_BOOT_BYTE);
-       
+
        /* Are we in normal mode? */
        if (byte & 1) {
                byte &= 0x0f; /* yes, clear the boot count */
@@ -107,9 +92,9 @@ static int do_normal_boot(void)
        return (byte & (1<<1));
 }
 
-static unsigned read_option(unsigned start, unsigned size, unsigned def)
+unsigned read_option(unsigned start, unsigned size, unsigned def)
 {
-#if CONFIG_USE_OPTION_TABLE == 1
+#if CONFIG_USE_OPTION_TABLE
        unsigned byte;
        byte = cmos_read(start/8);
        return (byte >> (start & 7U)) & ((1U << size) - 1U);