Home
last modified time | relevance | path

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

/linux/tools/objtool/include/objtool/
H A Dcheck.h13 struct insn_state { struct
14 cfiinsn_state global() argument
15 uaccess_stackinsn_state global() argument
16 uaccessinsn_state global() argument
17 dfinsn_state global() argument
18 noinstrinsn_state global() argument
19 instrinsn_state global() argument
/linux/tools/objtool/
H A Dcheck.c338 static void init_insn_state(struct objtool_file *file, struct insn_state *state, in init_insn_state()
2579 static bool has_modified_stack_frame(struct instruction *insn, struct insn_state *state) in has_modified_stack_frame()
2609 static bool has_valid_stack_frame(struct insn_state *state) in has_valid_stack_frame()
3187 struct insn_state *state) in handle_insn_ops()
3364 struct insn_state *state) in validate_call()
3387 struct insn_state *state) in validate_sibling_call()
3397 static int validate_return(struct symbol *func, struct instruction *insn, struct insn_state *state) in validate_return()
3472 struct instruction *insn, struct insn_state state) in validate_branch()
3723 struct insn_state *state) in validate_unwind_hint()
3738 struct insn_state state; in validate_unwind_hints()
[all …]
/linux/include/linux/
H A Dbpf_verifier.h743 int *insn_state; member
/linux/kernel/bpf/
H A Dverifier.c16683 int *insn_state = env->cfg.insn_state; in push_insn() local
16685 if (e == FALLTHROUGH && insn_state[t] >= (DISCOVERED | FALLTHROUGH)) in push_insn()
16688 if (e == BRANCH && insn_state[t] >= (DISCOVERED | BRANCH)) in push_insn()
16703 if (insn_state[w] == 0) { in push_insn()
16705 insn_state[t] = DISCOVERED | e; in push_insn()
16706 insn_state[w] = DISCOVERED; in push_insn()
16711 } else if ((insn_state[w] & 0xF0) == DISCOVERED) { in push_insn()
16718 } else if (insn_state[w] == EXPLORED) { in push_insn()
16720 insn_state[t] = DISCOVERED | e; in push_insn()
17128 int *insn_stack, *insn_state; in check_cfg() local
[all …]