prefetch_abort 96 kernel/arch/arm32/include/arch/mm/page_fault.h extern void prefetch_abort(unsigned int, istate_t *); prefetch_abort 199 kernel/arch/arm32/src/exception.c (iroutine_t) prefetch_abort);