Home
last modified time | relevance | path

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

/Linux-v4.19/tools/objtool/
Dcheck.h28 struct insn_state { struct
55 struct insn_state state; argument
Dcheck.c239 static void clear_insn_state(struct insn_state *state) in clear_insn_state()
1256 static bool has_modified_stack_frame(struct insn_state *state) in has_modified_stack_frame()
1274 static bool has_valid_stack_frame(struct insn_state *state) in has_valid_stack_frame()
1286 static int update_insn_state_regs(struct instruction *insn, struct insn_state *state) in update_insn_state_regs()
1310 static void save_reg(struct insn_state *state, unsigned char reg, int base, in save_reg()
1320 static void restore_reg(struct insn_state *state, unsigned char reg) in restore_reg()
1379 static int update_insn_state(struct instruction *insn, struct insn_state *state) in update_insn_state()
1732 static bool insn_state_match(struct instruction *insn, struct insn_state *state) in insn_state_match()
1734 struct insn_state *state1 = &insn->state, *state2 = state; in insn_state_match()
1781 struct insn_state state) in validate_branch()
[all …]
/Linux-v4.19/kernel/bpf/
Dverifier.c4158 static int *insn_state; variable
4167 if (e == FALLTHROUGH && insn_state[t] >= (DISCOVERED | FALLTHROUGH)) in push_insn()
4170 if (e == BRANCH && insn_state[t] >= (DISCOVERED | BRANCH)) in push_insn()
4182 if (insn_state[w] == 0) { in push_insn()
4184 insn_state[t] = DISCOVERED | e; in push_insn()
4185 insn_state[w] = DISCOVERED; in push_insn()
4190 } else if ((insn_state[w] & 0xF0) == DISCOVERED) { in push_insn()
4193 } else if (insn_state[w] == EXPLORED) { in push_insn()
4195 insn_state[t] = DISCOVERED | e; in push_insn()
4217 insn_state = kcalloc(insn_cnt, sizeof(int), GFP_KERNEL); in check_cfg()
[all …]