bpf_copy_verifier_state
int bpf_copy_verifier_state(struct bpf_verifier_state *dst_state,
err = bpf_copy_verifier_state(&backedge->state, cur);
err = bpf_copy_verifier_state(new, cur);
err = bpf_copy_verifier_state(cur, &head->st);
err = bpf_copy_verifier_state(&elem->st, cur);