Lines Matching defs:reg_state

2497 	 * ranges as u64. Currently reg_state can't represent two segments per
2543 		 * because reg_state can't represent two ranges per numeric
5332 				      struct bpf_func_state *reg_state,
5340 	int insn_flags = insn_stack_access_flags(reg_state->frameno, spi);
5343 	stype = reg_state->stack[spi].slot_type;
5344 	reg = &reg_state->stack[spi].spilled_ptr;
5348 	err = bpf_mark_stack_read(env, reg_state->frameno, env->insn_idx, BIT(spi));
5352 	if (is_spilled_reg(&reg_state->stack[spi])) {
5450 			mark_reg_stack_read(env, reg_state, off, off + size, dst_regno);
5469 static struct bpf_reg_state *reg_state(struct bpf_verifier_env *env, int regno)
5491 	struct bpf_reg_state *reg = reg_state(env, ptr_regno);
5523 	struct bpf_reg_state *reg = reg_state(env, ptr_regno);
5580 	struct bpf_reg_state *reg = reg_state(env, ptr_regno);
5919 	reg = reg_state(env, regno);
5974 		val_reg = reg_state(env, value_regno);
6236 	return __is_pointer_value(env->allow_ptr_leaks, reg_state(env, regno));
6241 	const struct bpf_reg_state *reg = reg_state(env, regno);
6248 	const struct bpf_reg_state *reg = reg_state(env, regno);
6255 	const struct bpf_reg_state *reg = reg_state(env, regno);
6262 	const struct bpf_reg_state *reg = reg_state(env, regno);
6270 	const struct bpf_reg_state *reg = reg_state(env, regno);
7813 			reg_type_str(env, reg_state(env, insn->dst_reg)->type));
7871 			reg_type_str(env, reg_state(env, insn->src_reg)->type));
7890 			reg_type_str(env, reg_state(env, insn->dst_reg)->type));
7947 	struct bpf_reg_state *reg = reg_state(env, regno);
11184 	struct bpf_reg_state *reg = reg_state(env, BPF_REG_0);
17134 	struct bpf_reg_state *reg = reg_state(env, regno);