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 */