diff options
| -rw-r--r-- | lib/sbi/sbi_ipi.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/sbi/sbi_ipi.c b/lib/sbi/sbi_ipi.c index f58349e7..3c505035 100644 --- a/lib/sbi/sbi_ipi.c +++ b/lib/sbi/sbi_ipi.c @@ -14,6 +14,7 @@ #include <sbi/sbi_bitops.h> #include <sbi/sbi_error.h> #include <sbi/sbi_hart.h> +#include <sbi/sbi_init.h> #include <sbi/sbi_ipi.h> #include <sbi/sbi_platform.h> #include <sbi/sbi_tlb.h> @@ -126,7 +127,7 @@ void sbi_ipi_process(struct sbi_scratch *scratch) sbi_tlb_fifo_process(scratch); break; case SBI_IPI_EVENT_HALT: - sbi_hart_hang(); + sbi_exit(scratch); break; default: break; |