fix_range_common(mm, start_addr, end_addr, force, 0, do_ops); 
fix_range_common(mm, start_addr, end_addr, force, do_ops); 
static void fix_range(struct mm_struct *mm, unsigned long start_addr, 		      unsigned long end_addr, int force){        if((current->thread.mode.tt.extern_pid != -1) &&           (current->thread.mode.tt.extern_pid != os_getpid()))                panic("fix_range fixing wrong address space, current = 0x%p",                      current);        fix_range_common(mm, start_addr, end_addr, force, 0, do_ops);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d67b569f5f620c0fb95d5212642746b7ba9d29e4/tlb.c/buggy/arch/um/kernel/tt/tlb.c