diff options
Diffstat (limited to 'include/sbi/sbi_platform.h')
| -rw-r--r-- | include/sbi/sbi_platform.h | 13 |
1 files changed, 13 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 |