kernel/bpf/verifier.c

16525 static bool check_ids(u32 old_id, u32 cur_id, struct bpf_idmap *idmap)
16554 /* Similar to check_ids(), but allocate a unique temporary ID
16563 	return check_ids(old_id, cur_id, idmap);
16663 	       check_ids(rold->id, rcur->id, idmap) &&
16664 	       check_ids(rold->ref_obj_id, rcur->ref_obj_id, idmap);
16725 		/* Why check_ids() for scalar registers?
16745 		 * Use check_ids() to distinguish these states.
16763 		       check_ids(rold->id, rcur->id, idmap) &&
16764 		       check_ids(rold->ref_obj_id, rcur->ref_obj_id, idmap);
16781 		if (!check_ids(rold->id, rcur->id, idmap))
16928 			    !check_ids(old_reg->ref_obj_id, cur_reg->ref_obj_id, idmap))
16944 			    !check_ids(old_reg->ref_obj_id, cur_reg->ref_obj_id, idmap))
16968 		if (!check_ids(old->refs[i].id, cur->refs[i].id, idmap))
17057 	    !check_ids(old->active_lock.id, cur->active_lock.id, &env->idmap_scratch))