HelenOS sources

CURRENT_EL_EL1    103 boot/arch/arm64/include/arch/regutils.h #define CURRENT_EL_EL1  0x4
CURRENT_EL_EL1    103 kernel/arch/arm64/include/arch/regutils.h #define CURRENT_EL_EL1  0x4
CURRENT_EL_EL1    103 uspace/lib/c/arch/arm64/include/libarch/regutils.h #define CURRENT_EL_EL1  0x4