HelenOS sources

ESR_IDA_IDFSC_TF0   88 kernel/arch/arm64/src/exception.c 		case ESR_IDA_IDFSC_TF0:
ESR_IDA_IDFSC_TF0  158 kernel/arch/arm64/src/exception.c 		case ESR_IDA_IDFSC_TF0:
HelenOS homepage, sources at GitHub