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 /i386 | |
| parent | 83bb0f42038f12beb9f2a31a8ef3f7ff75938681 (diff) | |
| download | gnumach-8a49b0fd609ca347dbc8400af139c2b5e188f159.tar.gz gnumach-8a49b0fd609ca347dbc8400af139c2b5e188f159.tar.bz2 gnumach-8a49b0fd609ca347dbc8400af139c2b5e188f159.zip | |
Introduce and use assert_splsched()
Diffstat (limited to 'i386')
| -rw-r--r-- | i386/i386/spl.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/i386/i386/spl.h b/i386/i386/spl.h index 2a3f1a3a..41ad225d 100644 --- a/i386/i386/spl.h +++ b/i386/i386/spl.h @@ -59,6 +59,7 @@ extern spl_t (splvm)(void); extern spl_t (spl7)(void); extern spl_t (splclock)(void); extern spl_t (splsched)(void); +#define assert_splsched() assert(splsched() == SPL7) extern spl_t (splhigh)(void); extern spl_t (splx)(spl_t n); |