explored_state   6878 kernel/bpf/verifier.c 	sl = *explored_state(env, insn);
explored_state   7334 kernel/bpf/verifier.c 	pprev = explored_state(env, insn_idx);
explored_state   7477 kernel/bpf/verifier.c 	new_sl->next = *explored_state(env, insn_idx);
explored_state   7478 kernel/bpf/verifier.c 	*explored_state(env, insn_idx) = new_sl;