if(mm->context == NO_CONTEXT) 
if(mm->context.page_id == NO_CONTEXT) 
get_mmu_context(struct mm_struct *mm){	if(mm->context == NO_CONTEXT)		alloc_context(mm);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4f18cfbf0990bfc2e8e7706eeb9e5bef898ae923/tlb.c/buggy/arch/cris/mm/tlb.c