LAST_USER_MM_IBPB  195 arch/x86/mm/tlb.c 	unsigned long ibpb = (next_tif >> TIF_SPEC_IB) & LAST_USER_MM_IBPB;
LAST_USER_MM_IBPB  256 arch/x86/mm/tlb.c 		    (next_mm | prev_mm) & LAST_USER_MM_IBPB)
LAST_USER_MM_IBPB  504 arch/x86/mm/tlb.c 	this_cpu_write(cpu_tlbstate.last_user_mm_ibpb, LAST_USER_MM_IBPB);