kern/thread: new thread_assert_interrupted function

1 files changed, 9 insertions, 0 deletions

diff --git a/kern/thread.h b/kern/thread.h
index 486d6fae..c7f68f14 100644
--- a/kern/thread.h
+++ b/kern/thread.h
@@ -43,6 +43,7 @@
 #include <kern/spinlock_types.h>
 #include <kern/turnstile_types.h>
 #include <machine/atomic.h>
+#include <machine/cpu.h>
 #include <machine/tcb.h>
 
 /*
@@ -642,6 +643,14 @@ thread_intr_leave(void)
     }
 }
 
+static inline void
+thread_assert_interrupted(void)
+{
+    assert(thread_interrupted());
+    assert(!cpu_intr_enabled());
+    assert(!thread_preempt_enabled());
+}
+
 /*
  * Lockless synchronization read-side critical section nesting counter
  * control functions.