HelenOS sources

CURRENT_EL_EL3    105 boot/arch/arm64/include/arch/regutils.h #define CURRENT_EL_EL3  0xc
CURRENT_EL_EL3    105 kernel/arch/arm64/include/arch/regutils.h #define CURRENT_EL_EL3  0xc
CURRENT_EL_EL3    105 uspace/lib/c/arch/arm64/include/libarch/regutils.h #define CURRENT_EL_EL3  0xc