kern/spinlock: new spinlock_assert_locked function

1 files changed, 7 insertions, 0 deletions

diff --git a/kern/spinlock.h b/kern/spinlock.h
index 6ae3ed6b..2839aac1 100644
--- a/kern/spinlock.h
+++ b/kern/spinlock.h
@@ -24,6 +24,7 @@
 #ifndef _KERN_SPINLOCK_H
 #define _KERN_SPINLOCK_H
 
+#include <kern/assert.h>
 #include <machine/atomic.h>
 #include <machine/cpu.h>
 
@@ -45,6 +46,12 @@ spinlock_init(struct spinlock *lock)
     lock->locked = 0;
 }
 
+static inline int
+spinlock_assert_locked(struct spinlock *lock)
+{
+    assert(lock->locked);
+}
+
 /*
  * Attempt to acquire a spin lock.
  *