diff options
Diffstat (limited to 'src/drivers/pc80')
| -rw-r--r-- | src/drivers/pc80/pc/i8259.c | 1 | ||||
| -rw-r--r-- | src/drivers/pc80/rtc/mc146818rtc_boot.c | 4 |
2 files changed, 3 insertions, 2 deletions
diff --git a/src/drivers/pc80/pc/i8259.c b/src/drivers/pc80/pc/i8259.c index c6aaef34af..450f1749b8 100644 --- a/src/drivers/pc80/pc/i8259.c +++ b/src/drivers/pc80/pc/i8259.c @@ -3,6 +3,7 @@ #include <arch/io.h> #include <pc80/i8259.h> #include <console/console.h> +#include <stdint.h> /* Read the current PIC IRQ mask */ u16 pic_read_irq_mask(void) diff --git a/src/drivers/pc80/rtc/mc146818rtc_boot.c b/src/drivers/pc80/rtc/mc146818rtc_boot.c index 550a6027c0..6780c3a7ab 100644 --- a/src/drivers/pc80/rtc/mc146818rtc_boot.c +++ b/src/drivers/pc80/rtc/mc146818rtc_boot.c @@ -1,9 +1,9 @@ /* SPDX-License-Identifier: GPL-2.0-only */ -#include <stdint.h> #include <console/console.h> -#include <pc80/mc146818rtc.h> #include <fallback.h> +#include <pc80/mc146818rtc.h> +#include <stdint.h> #if CONFIG_MAX_REBOOT_CNT > 15 #error "CONFIG_MAX_REBOOT_CNT too high" |