__do_user_fault(tsk, addr, fsr, SEGV_MAPERR, regs); 
__do_user_fault(tsk, addr, fsr, SIGSEGV, SEGV_MAPERR, regs); 
do_bad_area(struct task_struct *tsk, struct mm_struct *mm, unsigned long addr,	    unsigned int fsr, struct pt_regs *regs){	/*	 * If we are in kernel mode at this point, we	 * have no context to handle this fault with.	 */	if (user_mode(regs))		__do_user_fault(tsk, addr, fsr, SEGV_MAPERR, regs);	else		__do_kernel_fault(mm, addr, fsr, regs);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/2d137c24e9f433e37ffd10b3d5f418157589a8d2/fault.c/buggy/arch/arm/mm/fault.c