diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2024-02-19 00:58:00 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2024-02-19 00:58:00 +0100 |
| commit | 8a49b0fd609ca347dbc8400af139c2b5e188f159 (patch) | |
| tree | 6c149153698898d026332accad91b9e97827b625 /kern/sched_prim.c | |
| parent | 83bb0f42038f12beb9f2a31a8ef3f7ff75938681 (diff) | |
| download | gnumach-8a49b0fd609ca347dbc8400af139c2b5e188f159.tar.gz gnumach-8a49b0fd609ca347dbc8400af139c2b5e188f159.tar.bz2 gnumach-8a49b0fd609ca347dbc8400af139c2b5e188f159.zip | |
Introduce and use assert_splsched()
Diffstat (limited to 'kern/sched_prim.c')
| -rw-r--r-- | kern/sched_prim.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kern/sched_prim.c b/kern/sched_prim.c index 28792194..24f342fb 100644 --- a/kern/sched_prim.c +++ b/kern/sched_prim.c @@ -134,11 +134,11 @@ queue_head_t wait_queue[NUMQUEUES]; #ifdef MACH_LDEBUG #define waitq_lock(wl) do { \ - assert(splsched() == SPL7); \ + assert_splsched(); \ simple_lock_nocheck(wl); \ } while (0) #define waitq_unlock(wl) do { \ - assert(splsched() == SPL7); \ + assert_splsched(); \ simple_unlock_nocheck(wl); \ } while (0) #else |