Variable
Space | User/kernel |
Context | Sync/async |
May block | No |
SPL | Any |
Dynamic memory | No |
#include <SPAD/AC.H>
extern int KERNEL$SPL;
This variable contains the current SPL in internal SPL format (as returned by SPL_X
). The variable can be read to obtain the current SPL in code that is supposed to run at multiple SPLs.
This variable must not be directly written (except special cases of crash-dumping code — where specified). Instead, SPL is modified with macros RAISE_SPL
and LOWER_SPL
.
int spl = KERNEL$SPL;
RAISE_SPL(SPL_TOP);
... code to be masked
LOWER_SPLX(spl);