EXPLORED         6343 kernel/bpf/verifier.c 	} else if (insn_state[w] == EXPLORED) {
EXPLORED         6455 kernel/bpf/verifier.c 	insn_state[t] = EXPLORED;
EXPLORED         6465 kernel/bpf/verifier.c 		if (insn_state[i] != EXPLORED) {