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

/linux-master/tools/objtool/include/objtool/
H A Dcheck.h13 struct insn_state { struct
/linux-master/tools/objtool/
H A Dcheck.c278 static void init_insn_state(struct objtool_file *file, struct insn_state *state,
2700 static bool has_modified_stack_frame(struct instruction *insn, struct insn_state *state)
2730 static bool has_valid_stack_frame(struct insn_state *state)
3291 struct insn_state *state)
3468 struct insn_state *state)
3491 struct insn_state *state)
3501 static int validate_return(struct symbol *func, struct instruction *insn, struct insn_state *state)
3576 struct instruction *insn, struct insn_state state)
3824 struct insn_state *state)
3839 struct insn_state stat
[all...]
/linux-master/include/linux/
H A Dbpf_verifier.h706 int *insn_state; member in struct:bpf_verifier_env::__anon1931
/linux-master/kernel/bpf/
H A Dverifier.c15623 int *insn_state = env->cfg.insn_state; local
15625 if (e == FALLTHROUGH && insn_state[t] >= (DISCOVERED | FALLTHROUGH))
15628 if (e == BRANCH && insn_state[t] >= (DISCOVERED | BRANCH))
15643 if (insn_state[w] == 0) {
15645 insn_state[t] = DISCOVERED | e;
15646 insn_state[w] = DISCOVERED;
15651 } else if ((insn_state[w] & 0xF0) == DISCOVERED) {
15658 } else if (insn_state[w] == EXPLORED) {
15660 insn_state[
15798 int *insn_stack, *insn_state; local
[all...]

Completed in 218 milliseconds