HelenOS sources

CURRENT_EL_EL2    104 boot/arch/arm64/include/arch/regutils.h #define CURRENT_EL_EL2  0x8
CURRENT_EL_EL2    104 kernel/arch/arm64/include/arch/regutils.h #define CURRENT_EL_EL2  0x8
CURRENT_EL_EL2    104 uspace/lib/c/arch/arm64/include/libarch/regutils.h #define CURRENT_EL_EL2  0x8

HelenOS homepage, sources at GitHub