diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/sbi_utils/fdt/fdt_helper.h | 13 | ||||
| -rw-r--r-- | include/sbi_utils/irqchip/plic.h | 2 |
2 files changed, 13 insertions, 2 deletions
diff --git a/include/sbi_utils/fdt/fdt_helper.h b/include/sbi_utils/fdt/fdt_helper.h index a6c30735..67251f8f 100644 --- a/include/sbi_utils/fdt/fdt_helper.h +++ b/include/sbi_utils/fdt/fdt_helper.h @@ -10,6 +10,19 @@ #define __FDT_HELPER_H__ /** + * Fix up the PLIC node in the device tree + * + * This routine updates the "interrupt-extended" property of the PLIC node in + * the device tree to hide the M-mode external interrupt from CPUs. + * + * It is recommended that platform codes call this helper in their final_init() + * + * @param fdt: device tree blob + * @param compat: PLIC node compatible string + */ +void fdt_plic_fixup(void *fdt, const char *compat); + +/** * Fix up the reserved memory node in the device tree * * This routine inserts a child node of the reserved memory node in the device diff --git a/include/sbi_utils/irqchip/plic.h b/include/sbi_utils/irqchip/plic.h index 8d6cefad..8e190ce4 100644 --- a/include/sbi_utils/irqchip/plic.h +++ b/include/sbi_utils/irqchip/plic.h @@ -12,8 +12,6 @@ #include <sbi/sbi_types.h> -void plic_fdt_fixup(void *fdt, const char *compat); - int plic_warm_irqchip_init(u32 target_hart, int m_cntx_id, int s_cntx_id); int plic_cold_irqchip_init(unsigned long base, u32 num_sources, u32 hart_count); |