Interface KERNEL$SPL

Variable

SpaceUser/kernel
ContextSync/async
May blockNo
SPLAny
Dynamic memoryNo

#include <SPAD/AC.H>

extern int KERNEL$SPL;

Description

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.

Example

int spl = KERNEL$SPL;
RAISE_SPL(SPL_TOP);
... code to be masked
LOWER_SPLX(spl);

See also

RAISE_SPL, LOWER_SPL, SPL_X