Home
last modified time | relevance | path

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

/Linux-v5.4/kernel/bpf/
Dverifier.c6194 EXPLORED = 0x20, enumerator
6261 } else if (insn_state[w] == EXPLORED) { in push_insn()
6373 insn_state[t] = EXPLORED; in check_cfg()
6383 if (insn_state[i] != EXPLORED) { in check_cfg()