Home
last modified time | relevance | path

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

/Linux-v5.10/tools/objtool/
Dcheck.h13 struct insn_state { struct
Dcheck.c237 static void init_insn_state(struct insn_state *state, struct section *sec) in init_insn_state()
1697 static bool has_modified_stack_frame(struct instruction *insn, struct insn_state *state) in has_modified_stack_frame()
1729 static bool has_valid_stack_frame(struct insn_state *state) in has_valid_stack_frame()
2188 static int handle_insn_ops(struct instruction *insn, struct insn_state *state) in handle_insn_ops()
2317 static int validate_call(struct instruction *insn, struct insn_state *state) in validate_call()
2341 static int validate_sibling_call(struct instruction *insn, struct insn_state *state) in validate_sibling_call()
2352 static int validate_return(struct symbol *func, struct instruction *insn, struct insn_state *state) in validate_return()
2424 struct instruction *insn, struct insn_state state) in validate_branch()
2624 struct insn_state state; in validate_unwind_hints()
2771 struct symbol *sym, struct insn_state *state) in validate_symbol()
[all …]
/Linux-v5.10/include/linux/
Dbpf_verifier.h403 int *insn_state; member
/Linux-v5.10/kernel/bpf/
Dverifier.c7972 int *insn_state = env->cfg.insn_state; in push_insn() local
7974 if (e == FALLTHROUGH && insn_state[t] >= (DISCOVERED | FALLTHROUGH)) in push_insn()
7977 if (e == BRANCH && insn_state[t] >= (DISCOVERED | BRANCH)) in push_insn()
7990 if (insn_state[w] == 0) { in push_insn()
7992 insn_state[t] = DISCOVERED | e; in push_insn()
7993 insn_state[w] = DISCOVERED; in push_insn()
7998 } else if ((insn_state[w] & 0xF0) == DISCOVERED) { in push_insn()
8005 } else if (insn_state[w] == EXPLORED) { in push_insn()
8007 insn_state[t] = DISCOVERED | e; in push_insn()
8022 int *insn_stack, *insn_state; in check_cfg() local
[all …]