HelenOS sources

ESR_EC_DA_CURRENT_EL  131 boot/arch/arm64/include/arch/regutils.h #define ESR_EC_DA_CURRENT_EL  0x25
ESR_EC_DA_CURRENT_EL  131 kernel/arch/arm64/include/arch/regutils.h #define ESR_EC_DA_CURRENT_EL  0x25
ESR_EC_DA_CURRENT_EL  131 uspace/lib/c/arch/arm64/include/libarch/regutils.h #define ESR_EC_DA_CURRENT_EL  0x25

HelenOS homepage, sources at GitHub