TO RESET: arm64: enable interrupt on panic

Change-Id: I1ceb321de324f307fc82366b162c72f64184247b
2020-06-15 12:55:00 +09:00
parent bbfb296c26
commit 8f2c8791bf
5 changed files with 54 additions and 0 deletions
--- a/arch/x86_64/kernel/cpu.c
+++ b/arch/x86_64/kernel/cpu.c
@@ -1137,6 +1137,17 @@ void cpu_halt(void)
 	asm volatile("hlt");
 }

+#ifdef ENABLE_FUGAKU_HACKS
+/*@
+  @ assigns \nothing;
+  @ ensures \interrupt_disabled == 0;
+  @*/
+void cpu_halt_panic(void)
+{
+    cpu_halt();
+}
+#endif
+
 /*@
  @ assigns \nothing;
  @ ensures \interrupt_disabled == 0;