Home
last modified time | relevance | path

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

/Linux-v5.4/tools/objtool/
Dcheck.h16 struct insn_state { struct
46 struct insn_state state; argument
Dcheck.c212 static void clear_insn_state(struct insn_state *state) in clear_insn_state()
1372 static bool has_modified_stack_frame(struct insn_state *state) in has_modified_stack_frame()
1390 static bool has_valid_stack_frame(struct insn_state *state) in has_valid_stack_frame()
1402 static int update_insn_state_regs(struct instruction *insn, struct insn_state *state) in update_insn_state_regs()
1426 static void save_reg(struct insn_state *state, unsigned char reg, int base, in save_reg()
1436 static void restore_reg(struct insn_state *state, unsigned char reg) in restore_reg()
1495 static int update_insn_state(struct instruction *insn, struct insn_state *state) in update_insn_state()
1850 static bool insn_state_match(struct instruction *insn, struct insn_state *state) in insn_state_match()
1852 struct insn_state *state1 = &insn->state, *state2 = state; in insn_state_match()
1908 static int validate_call(struct instruction *insn, struct insn_state *state) in validate_call()
[all …]
/Linux-v5.4/include/linux/
Dbpf_verifier.h372 int *insn_state; member
/Linux-v5.4/kernel/bpf/
Dverifier.c6228 int *insn_state = env->cfg.insn_state; in push_insn() local
6230 if (e == FALLTHROUGH && insn_state[t] >= (DISCOVERED | FALLTHROUGH)) in push_insn()
6233 if (e == BRANCH && insn_state[t] >= (DISCOVERED | BRANCH)) in push_insn()
6246 if (insn_state[w] == 0) { in push_insn()
6248 insn_state[t] = DISCOVERED | e; in push_insn()
6249 insn_state[w] = DISCOVERED; in push_insn()
6254 } else if ((insn_state[w] & 0xF0) == DISCOVERED) { in push_insn()
6261 } else if (insn_state[w] == EXPLORED) { in push_insn()
6263 insn_state[t] = DISCOVERED | e; in push_insn()
6278 int *insn_stack, *insn_state; in check_cfg() local
[all …]