HelenOS sources

ESR_IDA_IDFSC_TF3  144 boot/arch/arm64/include/arch/regutils.h #define ESR_IDA_IDFSC_TF3  0x7
ESR_IDA_IDFSC_TF3  144 kernel/arch/arm64/include/arch/regutils.h #define ESR_IDA_IDFSC_TF3  0x7
ESR_IDA_IDFSC_TF3  144 uspace/lib/c/arch/arm64/include/libarch/regutils.h #define ESR_IDA_IDFSC_TF3  0x7

HelenOS homepage, sources at GitHub