Home
last modified time | relevance | path

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

/linux-4.1.27/kernel/bpf/
Dverifier.c1310 static int *insn_state; variable
1319 if (e == FALLTHROUGH && insn_state[t] >= (DISCOVERED | FALLTHROUGH)) in push_insn()
1322 if (e == BRANCH && insn_state[t] >= (DISCOVERED | BRANCH)) in push_insn()
1334 if (insn_state[w] == 0) { in push_insn()
1336 insn_state[t] = DISCOVERED | e; in push_insn()
1337 insn_state[w] = DISCOVERED; in push_insn()
1342 } else if ((insn_state[w] & 0xF0) == DISCOVERED) { in push_insn()
1345 } else if (insn_state[w] == EXPLORED) { in push_insn()
1347 insn_state[t] = DISCOVERED | e; in push_insn()
1365 insn_state = kcalloc(insn_cnt, sizeof(int), GFP_KERNEL); in check_cfg()
[all …]