diff options
| -rw-r--r-- | platform/andes/ae350/platform.c | 6 | ||||
| -rw-r--r-- | platform/ariane-fpga/platform.c | 9 | ||||
| -rw-r--r-- | platform/kendryte/k210/platform.c | 4 | ||||
| -rw-r--r-- | platform/sifive/fu540/platform.c | 3 | ||||
| -rw-r--r-- | platform/spike/platform.c | 2 | ||||
| -rw-r--r-- | platform/thead/c910/platform.c | 4 |
6 files changed, 12 insertions, 16 deletions
diff --git a/platform/andes/ae350/platform.c b/platform/andes/ae350/platform.c index db5b46e..13c2b45 100644 --- a/platform/andes/ae350/platform.c +++ b/platform/andes/ae350/platform.c @@ -10,14 +10,14 @@ #include <sbi/riscv_asm.h> #include <sbi/riscv_encoding.h> +#include <sbi/sbi_console.h> #include <sbi/sbi_const.h> #include <sbi/sbi_platform.h> -#include <sbi/sbi_console.h> -#include <sbi_utils/serial/uart8250.h> #include <sbi_utils/irqchip/plic.h> +#include <sbi_utils/serial/uart8250.h> #include "platform.h" -#include "plmt.h" #include "plicsw.h" +#include "plmt.h" /* Platform final initialization. */ static int ae350_final_init(bool cold_boot) diff --git a/platform/ariane-fpga/platform.c b/platform/ariane-fpga/platform.c index d2b6de9..84ffec6 100644 --- a/platform/ariane-fpga/platform.c +++ b/platform/ariane-fpga/platform.c @@ -6,17 +6,14 @@ #include <sbi/riscv_asm.h> #include <sbi/riscv_encoding.h> +#include <sbi/riscv_io.h> +#include <sbi/sbi_console.h> #include <sbi/sbi_const.h> +#include <sbi/sbi_hart.h> #include <sbi/sbi_platform.h> #include <sbi_utils/irqchip/plic.h> #include <sbi_utils/serial/uart8250.h> #include <sbi_utils/sys/clint.h> -#include <sbi/sbi_console.h> -#include <sbi/sbi_hart.h> -#include <libfdt.h> -#include <fdt.h> -#include <sbi_utils/irqchip/plic.h> -#include <sbi/riscv_io.h> #define ARIANE_UART_ADDR 0x10000000 #define ARIANE_UART_FREQ 50000000 diff --git a/platform/kendryte/k210/platform.c b/platform/kendryte/k210/platform.c index 2044307..16ee985 100644 --- a/platform/kendryte/k210/platform.c +++ b/platform/kendryte/k210/platform.c @@ -9,12 +9,12 @@ #include <sbi/riscv_asm.h> #include <sbi/riscv_encoding.h> +#include <sbi/sbi_console.h> #include <sbi/sbi_const.h> #include <sbi/sbi_platform.h> -#include <sbi/sbi_console.h> #include <sbi_utils/irqchip/plic.h> -#include <sbi_utils/sys/clint.h> #include <sbi_utils/serial/sifive-uart.h> +#include <sbi_utils/sys/clint.h> #include "platform.h" static u32 k210_get_clk_freq(void) diff --git a/platform/sifive/fu540/platform.c b/platform/sifive/fu540/platform.c index 1cc1f27..2eb9fa1 100644 --- a/platform/sifive/fu540/platform.c +++ b/platform/sifive/fu540/platform.c @@ -8,12 +8,11 @@ */ #include <libfdt.h> -#include <fdt.h> #include <sbi/riscv_asm.h> #include <sbi/riscv_io.h> #include <sbi/riscv_encoding.h> -#include <sbi/sbi_const.h> #include <sbi/sbi_console.h> +#include <sbi/sbi_const.h> #include <sbi/sbi_platform.h> #include <sbi_utils/irqchip/plic.h> #include <sbi_utils/serial/sifive-uart.h> diff --git a/platform/spike/platform.c b/platform/spike/platform.c index 25e5765..0883ff6 100644 --- a/platform/spike/platform.c +++ b/platform/spike/platform.c @@ -5,8 +5,8 @@ */ #include <sbi/sbi_platform.h> -#include <sbi_utils/sys/htif.h> #include <sbi_utils/sys/clint.h> +#include <sbi_utils/sys/htif.h> /* clang-format off */ diff --git a/platform/thead/c910/platform.c b/platform/thead/c910/platform.c index ca2e0e2..9d98a31 100644 --- a/platform/thead/c910/platform.c +++ b/platform/thead/c910/platform.c @@ -4,13 +4,13 @@ #include <sbi/riscv_encoding.h> #include <sbi/riscv_io.h> +#include <sbi/sbi_console.h> #include <sbi/sbi_const.h> #include <sbi/sbi_hart.h> #include <sbi/sbi_platform.h> -#include <sbi/sbi_console.h> #include <sbi_utils/irqchip/plic.h> -#include <sbi_utils/sys/clint.h> #include <sbi_utils/serial/uart8250.h> +#include <sbi_utils/sys/clint.h> #include "platform.h" static struct c910_regs_struct c910_regs; |