/* We're finished using the context for an address space.  */
void destroy_context(struct mm_struct *mm)
/* We're finished using the context for an address space.  */
void destroy_context(struct mm_struct *mm)
{
	preempt_disable();
	if (mm->context.id != NO_CONTEXT) {
		clear_bit(mm->context.id, context_map);
		mm->context.id = NO_CONTEXT;
	}
	preempt_enable();
}