36 alloc_context(struct mm_struct *mm)  in alloc_context()  argument
40 	D(printk("tlb: alloc context %d (%p)\n", map_replace_ptr, mm));  in alloc_context()
57 	mm->context.page_id = map_replace_ptr;  in alloc_context()
58 	page_id_map[map_replace_ptr] = mm;  in alloc_context()
71 get_mmu_context(struct mm_struct *mm)  in get_mmu_context()  argument
73 	if(mm->context.page_id == NO_CONTEXT)  in get_mmu_context()
74 		alloc_context(mm);  in get_mmu_context()
86 destroy_context(struct mm_struct *mm)  in destroy_context()  argument
88 	if(mm->context.page_id != NO_CONTEXT) {  in destroy_context()
89 		D(printk("destroy_context %d (%p)\n", mm->context.page_id, mm));  in destroy_context()
90 		flush_tlb_mm(mm);  /* TODO this might be redundant ? */  in destroy_context()
91 		page_id_map[mm->context.page_id] = NULL;  in destroy_context()