kernel/linux/arch/arm/mm/fault.h

   1 void do_bad_area(struct task_struct *tsk, struct mm_struct *mm,
   2                  unsigned long addr, unsigned int fsr, struct pt_regs *regs);
   3
   4 void show_pte(struct mm_struct *mm, unsigned long addr);
   5
   6 unsigned long search_exception_table(unsigned long addr);