Home
last modified time | relevance | path

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

/linux-6.3-rc2/tools/objtool/include/objtool/
A Dcheck.h13 struct insn_state { struct
/linux-6.3-rc2/tools/objtool/
A Dcheck.c304 static void init_insn_state(struct objtool_file *file, struct insn_state *state, in init_insn_state()
2682 static bool has_modified_stack_frame(struct instruction *insn, struct insn_state *state) in has_modified_stack_frame()
2712 static bool has_valid_stack_frame(struct insn_state *state) in has_valid_stack_frame()
3286 struct insn_state *state) in handle_insn_ops()
3467 struct insn_state *state) in validate_call()
3493 struct insn_state *state) in validate_sibling_call()
3585 struct instruction *insn, struct insn_state state) in validate_branch()
3828 struct insn_state *state) in validate_unwind_hint()
3843 struct insn_state state; in validate_unwind_hints()
4209 struct symbol *sym, struct insn_state *state) in validate_symbol()
[all …]
/linux-6.3-rc2/include/linux/
A Dbpf_verifier.h547 int *insn_state; member
/linux-6.3-rc2/kernel/bpf/
A Dverifier.c13077 int *insn_state = env->cfg.insn_state; in push_insn() local
13097 if (insn_state[w] == 0) { in push_insn()
13099 insn_state[t] = DISCOVERED | e; in push_insn()
13100 insn_state[w] = DISCOVERED; in push_insn()
13114 insn_state[t] = DISCOVERED | e; in push_insn()
13214 int *insn_stack, *insn_state; in check_cfg() local
13218 insn_state = env->cfg.insn_state = kvcalloc(insn_cnt, sizeof(int), GFP_KERNEL); in check_cfg()
13219 if (!insn_state) in check_cfg()
13224 kvfree(insn_state); in check_cfg()
13238 insn_state[t] = EXPLORED; in check_cfg()
[all …]

Completed in 38 milliseconds