if(mm->context != NO_CONTEXT) { D(printk("destroy_context %d (%p)\n", mm->context, mm));
if(mm->context.page_id != NO_CONTEXT) { D(printk("destroy_context %d (%p)\n", mm->context.page_id, mm));
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 */	}}