HelenOS sources

CURRENT_EL_EL0    102 boot/arch/arm64/include/arch/regutils.h #define CURRENT_EL_EL0  0x0
CURRENT_EL_EL0    102 kernel/arch/arm64/include/arch/regutils.h #define CURRENT_EL_EL0  0x0
CURRENT_EL_EL0    102 uspace/lib/c/arch/arm64/include/libarch/regutils.h #define CURRENT_EL_EL0  0x0

HelenOS homepage, sources at GitHub