1 files changed, 8 insertions, 2 deletions
diff --git a/kern/spinlock.h b/kern/spinlock.h
index d4105da0..50ac5401 100644
--- a/kern/spinlock.h
+++ b/kern/spinlock.h
@@ -26,6 +26,8 @@
 #ifndef _KERN_SPINLOCK_H
 #define _KERN_SPINLOCK_H
 
+#include <stdbool.h>
+
 #include <kern/init.h>
 #include <kern/macros.h>
 #include <kern/spinlock_i.h>
@@ -35,13 +37,17 @@
 
 struct spinlock;
 
-#define spinlock_assert_locked(lock) assert((lock)->value != SPINLOCK_UNLOCKED)
-
 /*
  * Initialize a spin lock.
  */
 void spinlock_init(struct spinlock *lock);
 
+static inline bool
+spinlock_locked(const struct spinlock *lock)
+{
+    return lock->value != SPINLOCK_UNLOCKED;
+}
+
 /*
  * Attempt to lock the given spin lock.
  *