From 8a49b0fd609ca347dbc8400af139c2b5e188f159 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Mon, 19 Feb 2024 00:58:00 +0100
Subject: Introduce and use assert_splsched()

---
 kern/sched.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'kern/sched.h')

diff --git a/kern/sched.h b/kern/sched.h
index 35747f19..d7e74d3a 100644
--- a/kern/sched.h
+++ b/kern/sched.h
@@ -77,11 +77,11 @@ typedef struct run_queue	*run_queue_t;
 /* Shall be taken at splsched only */
 #ifdef MACH_LDEBUG
 #define runq_lock(rq)		do { \
-	assert(splsched() == SPL7); \
+	assert_splsched(); \
 	simple_lock_nocheck(&(rq)->lock); \
 } while (0)
 #define runq_unlock(rq)	do { \
-	assert(splsched() == SPL7); \
+	assert_splsched(); \
 	simple_unlock_nocheck(&(rq)->lock); \
 } while (0)
 #else
-- 
cgit v1.2.3