DISCOVERED       6312 kernel/bpf/verifier.c 	if (e == FALLTHROUGH && insn_state[t] >= (DISCOVERED | FALLTHROUGH))
DISCOVERED       6315 kernel/bpf/verifier.c 	if (e == BRANCH && insn_state[t] >= (DISCOVERED | BRANCH))
DISCOVERED       6330 kernel/bpf/verifier.c 		insn_state[t] = DISCOVERED | e;
DISCOVERED       6331 kernel/bpf/verifier.c 		insn_state[w] = DISCOVERED;
DISCOVERED       6336 kernel/bpf/verifier.c 	} else if ((insn_state[w] & 0xF0) == DISCOVERED) {
DISCOVERED       6345 kernel/bpf/verifier.c 		insn_state[t] = DISCOVERED | e;
DISCOVERED       6374 kernel/bpf/verifier.c 	insn_state[0] = DISCOVERED; /* mark 1st insn as discovered */