diff options
| -rw-r--r-- | include/sbi/sbi_platform.h | 13 | ||||
| -rw-r--r-- | lib/sbi/sbi_init.c | 2 |
2 files changed, 15 insertions, 0 deletions
diff --git a/include/sbi/sbi_platform.h b/include/sbi/sbi_platform.h index 21082fc..0de8be4 100644 --- a/include/sbi/sbi_platform.h +++ b/include/sbi/sbi_platform.h @@ -109,6 +109,8 @@ struct sbi_platform_operations { /** Initialize the platform interrupt controller for current HART */ int (*irqchip_init)(bool cold_boot); + /** Exit the platform interrupt controller for current HART */ + void (*irqchip_exit)(void); /** Send IPI to a target HART */ void (*ipi_send)(u32 target_hart); @@ -460,6 +462,17 @@ static inline int sbi_platform_irqchip_init(const struct sbi_platform *plat, } /** + * Exit the platform interrupt controller for current HART + * + * @param plat pointer to struct sbi_platform + */ +static inline void sbi_platform_irqchip_exit(const struct sbi_platform *plat) +{ + if (plat && sbi_platform_ops(plat)->irqchip_exit) + sbi_platform_ops(plat)->irqchip_exit(); +} + +/** * Send IPI to a target HART * * @param plat pointer to struct sbi_platform diff --git a/lib/sbi/sbi_init.c b/lib/sbi/sbi_init.c index c491bd8..3753800 100644 --- a/lib/sbi/sbi_init.c +++ b/lib/sbi/sbi_init.c @@ -209,6 +209,8 @@ void __noreturn sbi_exit(struct sbi_scratch *scratch) sbi_ipi_exit(scratch); + sbi_platform_irqchip_exit(plat); + sbi_platform_final_exit(plat); sbi_hart_hang(); |