set_callee_state
static int set_callee_state(struct bpf_verifier_env *env,
err = setup_func_entry(env, subprog, *insn_idx, set_callee_state, state);