Home
last modified time | relevance | path

Searched refs:EXPLORED (Results 1 – 1 of 1) sorted by relevance

/linux/kernel/bpf/
H A Dverifier.c18107 EXPLORED = 0x20, enumerator
18190 } else if (insn_state[w] == EXPLORED) { in push_insn()
18890 insn_state[t] = EXPLORED; in check_cfg()
18910 if (ex_insn_beg && insn_state[ex_insn_beg] != EXPLORED) { in check_cfg()
18920 if (insn_state[i] != EXPLORED) { in check_cfg()
18973 if (state[top] & EXPLORED) { in compute_postorder()
18985 state[top] |= EXPLORED; in compute_postorder()