TO RESET: lock: check if runq lock is held with IRQs disabled

Change-Id: I9a79ceaf9e399ad3695ed8959ca10c587591751a
2020-06-15 12:43:29 +09:00
parent 8f2c8791bf
commit 4f7fd90300
4 changed files with 52 additions and 0 deletions
--- a/lib/include/ihk/cpu.h
+++ b/lib/include/ihk/cpu.h
@ -23,6 +23,9 @@ extern int num_processors;

 void cpu_enable_interrupt(void);
 void cpu_disable_interrupt(void);
+#ifdef ENABLE_FUGAKU_HACKS
+int cpu_interrupt_disabled(void);
+#endif
 void cpu_halt(void);
 #ifdef ENABLE_FUGAKU_HACKS
 void cpu_halt_panic(void);