|
@@ -6,12 +6,14 @@
|
|
|
|
|
|
#include <platform_override.h>
|
|
|
#include <thead_c9xx.h>
|
|
|
+#include <sbi/riscv_asm.h>
|
|
|
#include <sbi/riscv_io.h>
|
|
|
#include <sbi/sbi_bitops.h>
|
|
|
#include <sbi/sbi_ecall_interface.h>
|
|
|
#include <sbi/sbi_error.h>
|
|
|
#include <sbi/sbi_hsm.h>
|
|
|
#include <sbi/sbi_pmu.h>
|
|
|
+#include <sbi/sbi_scratch.h>
|
|
|
#include <sbi_utils/fdt/fdt_fixup.h>
|
|
|
#include <sbi_utils/fdt/fdt_helper.h>
|
|
|
#include <sbi_utils/irqchip/fdt_irqchip_plic.h>
|