457 			verbose(env, "(id=%d", reg->id);  in print_verifier_state()
529 	if (state->acquired_refs && state->refs[0].id) {  in print_verifier_state()
530 		verbose(env, " refs=%d", state->refs[0].id);  in print_verifier_state()
532 			if (state->refs[i].id)  in print_verifier_state()
533 				verbose(env, ",%d", state->refs[i].id);  in print_verifier_state()
624 	int id, err;  in acquire_reference_state()  local
629 	id = ++env->id_gen;  in acquire_reference_state()
630 	state->refs[new_ofs].id = id;  in acquire_reference_state()
633 	return id;  in acquire_reference_state()
643 		if (state->refs[i].id == ptr_id) {  in release_reference_state()
920 	       reg->id == 0 &&  in reg_is_init_pkt_pointer()
2299 			off, size, regno, reg->id, reg->off, reg->range);  in __check_packet_access()
2819 					regs[value_regno].id = ++env->id_gen;  in check_mem_access()
3193 		cur->active_spin_lock = reg->id;  in process_spin_lock()
3199 		if (cur->active_spin_lock != reg->id) {  in process_spin_lock()
3947 			state->refs[i].id, state->refs[i].insn_idx);  in check_reference_leak()
4089 				regs[BPF_REG_0].id = ++env->id_gen;  in check_helper_call()
4092 			regs[BPF_REG_0].id = ++env->id_gen;  in check_helper_call()
4097 		regs[BPF_REG_0].id = ++env->id_gen;  in check_helper_call()
4101 		regs[BPF_REG_0].id = ++env->id_gen;  in check_helper_call()
4105 		regs[BPF_REG_0].id = ++env->id_gen;  in check_helper_call()
4116 		int id = acquire_reference_state(env, insn_idx);  in check_helper_call()  local
4118 		if (id < 0)  in check_helper_call()
4119 			return id;  in check_helper_call()
4121 		regs[BPF_REG_0].id = id;  in check_helper_call()
4123 		regs[BPF_REG_0].ref_obj_id = id;  in check_helper_call()
4405 	dst_reg->id = ptr_reg->id;  in adjust_ptr_min_max_vals()
4462 			dst_reg->id = ++env->id_gen;  in adjust_ptr_min_max_vals()
4496 			dst_reg->id = ptr_reg->id;  in adjust_ptr_min_max_vals()
4526 			dst_reg->id = ++env->id_gen;  in adjust_ptr_min_max_vals()
5109 		if (reg->type == type && reg->id == dst_reg->id)  in __find_good_pkt_pointers()
5117 		if (reg->type == type && reg->id == dst_reg->id)  in __find_good_pkt_pointers()
5628 				 struct bpf_reg_state *reg, u32 id,  in mark_ptr_or_null_reg()  argument
5631 	if (reg_type_may_be_null(reg->type) && reg->id == id) {  in mark_ptr_or_null_reg()
5666 			reg->id = 0;  in mark_ptr_or_null_reg()
5675 			reg->id = 0;  in mark_ptr_or_null_reg()
5680 static void __mark_ptr_or_null_regs(struct bpf_func_state *state, u32 id,  in __mark_ptr_or_null_regs()  argument
5687 		mark_ptr_or_null_reg(state, &state->regs[i], id, is_null);  in __mark_ptr_or_null_regs()
5692 		mark_ptr_or_null_reg(state, reg, id, is_null);  in __mark_ptr_or_null_regs()
5705 	u32 id = regs[regno].id;  in mark_ptr_or_null_regs()  local
5708 	if (ref_obj_id && ref_obj_id == id && is_null)  in mark_ptr_or_null_regs()
5713 		WARN_ON_ONCE(release_reference_state(state, id));  in mark_ptr_or_null_regs()
5716 		__mark_ptr_or_null_regs(vstate->frame[i], id, is_null);  in mark_ptr_or_null_regs()
6008 			regs[insn->dst_reg].id = ++env->id_gen;  in check_ld_imm()
6897 		return memcmp(rold, rcur, offsetof(struct bpf_reg_state, id)) == 0 &&  in regsafe()
6910 		if (memcmp(rold, rcur, offsetof(struct bpf_reg_state, id)))  in regsafe()
6913 		return check_ids(rold->id, rcur->id, idmap);  in regsafe()
6932 		if (rold->id && !check_ids(rold->id, rcur->id, idmap))  in regsafe()