last_user_mm_ibpb  175 arch/x86/include/asm/tlbflush.h 		unsigned long		last_user_mm_ibpb;
last_user_mm_ibpb  249 arch/x86/mm/tlb.c 		prev_mm = this_cpu_read(cpu_tlbstate.last_user_mm_ibpb);
last_user_mm_ibpb  259 arch/x86/mm/tlb.c 		this_cpu_write(cpu_tlbstate.last_user_mm_ibpb, next_mm);
last_user_mm_ibpb  504 arch/x86/mm/tlb.c 	this_cpu_write(cpu_tlbstate.last_user_mm_ibpb, LAST_USER_MM_IBPB);