// SPDX-License-Identifier: GPL-2.0-only

/* Upstream Linux v6.0: arch/x86/mm/tlb.c:663-669
 * Exact source lines; kernel context, not a standalone program or book restoration.
 */
void enter_lazy_tlb(struct mm_struct *mm, struct task_struct *tsk)
{
	if (this_cpu_read(cpu_tlbstate.loaded_mm) == &init_mm)
		return;

	this_cpu_write(cpu_tlbstate_shared.is_lazy, true);
}