page_id_map[mm->context] = NULL; /* mm->context = NO_CONTEXT; redundant.. mm will be freed */ 
page_id_map[mm->context.page_id] = NULL; 
destroy_context(struct mm_struct *mm){	if(mm->context != NO_CONTEXT) {		D(printk("destroy_context %d (%p)\n", mm->context, mm));		flush_tlb_mm(mm);  /* TODO this might be redundant ? */		page_id_map[mm->context] = NULL;		/* mm->context = NO_CONTEXT; redundant.. mm will be freed */	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4f18cfbf0990bfc2e8e7706eeb9e5bef898ae923/tlb.c/buggy/arch/cris/mm/tlb.c