diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/sbi/sbi_init.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/sbi/sbi_init.c b/lib/sbi/sbi_init.c index c491bd86..37538005 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(); |