reg_state
static struct bpf_reg_state *reg_state(struct bpf_verifier_env *env, int regno)
struct reg_state {