diff options
| -rw-r--r-- | src/drivers/pc80/mc146818rtc_early.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/drivers/pc80/mc146818rtc_early.c b/src/drivers/pc80/mc146818rtc_early.c index 0652f27c47..145fe214d1 100644 --- a/src/drivers/pc80/mc146818rtc_early.c +++ b/src/drivers/pc80/mc146818rtc_early.c @@ -42,14 +42,14 @@ static int cmos_chksum_valid(void) } -static inline int last_boot_normal(void) +static inline __attribute__((unused)) int last_boot_normal(void) { unsigned char byte; byte = cmos_read(RTC_BOOT_BYTE); return (byte & (1 << 1)); } -static inline int do_normal_boot(void) +static inline __attribute__((unused)) int do_normal_boot(void) { unsigned char byte; |