ibpb              195 arch/x86/mm/tlb.c 	unsigned long ibpb = (next_tif >> TIF_SPEC_IB) & LAST_USER_MM_IBPB;
ibpb              197 arch/x86/mm/tlb.c 	return (unsigned long)next->mm | ibpb;