/* We fork()ed a process, and we need a new context for the child to run in. We reserve version 0 for initial tasks so we will always allocate an ASID. The ASID 0 is reserved for the TTBR register changing sequence.  */
void __init_new_context(struct task_struct *tsk, struct mm_struct *mm)
/* We fork()ed a process, and we need a new context for the child to run in. We reserve version 0 for initial tasks so we will always allocate an ASID. The ASID 0 is reserved for the TTBR register changing sequence.  */
void __init_new_context(struct task_struct *tsk, struct mm_struct *mm)
{
	mm->context.id = 0;
	spin_lock_init(&mm->context.id_lock);
}