was_lazy 280 arch/x86/mm/tlb.c bool was_lazy = this_cpu_read(cpu_tlbstate.is_lazy); was_lazy 351 arch/x86/mm/tlb.c if (!was_lazy)