kernel/sched/core.c

5375 		enter_lazy_tlb(prev->active_mm, next);
5377 		next->active_mm = prev->active_mm;
5379 			mmgrab_lazy_tlb(prev->active_mm);
5381 			prev->active_mm = NULL;
5383 		membarrier_switch_mm(rq, prev->active_mm, next->mm);
5389 		 * case 'prev->active_mm == next->mm' through
5392 		switch_mm_irqs_off(prev->active_mm, next->mm, next);
5397 			rq->prev_mm = prev->active_mm;
5398 			prev->active_mm = NULL;
9421 	struct mm_struct *mm = current->active_mm;
9431 	/* finish_cpu(), as ran on the BP, will clean up the active_mm state */