insn_state        372 include/linux/bpf_verifier.h 		int *insn_state;
insn_state       6310 kernel/bpf/verifier.c 	int *insn_state = env->cfg.insn_state;
insn_state       6312 kernel/bpf/verifier.c 	if (e == FALLTHROUGH && insn_state[t] >= (DISCOVERED | FALLTHROUGH))
insn_state       6315 kernel/bpf/verifier.c 	if (e == BRANCH && insn_state[t] >= (DISCOVERED | BRANCH))
insn_state       6328 kernel/bpf/verifier.c 	if (insn_state[w] == 0) {
insn_state       6330 kernel/bpf/verifier.c 		insn_state[t] = DISCOVERED | e;
insn_state       6331 kernel/bpf/verifier.c 		insn_state[w] = DISCOVERED;
insn_state       6336 kernel/bpf/verifier.c 	} else if ((insn_state[w] & 0xF0) == DISCOVERED) {
insn_state       6343 kernel/bpf/verifier.c 	} else if (insn_state[w] == EXPLORED) {
insn_state       6345 kernel/bpf/verifier.c 		insn_state[t] = DISCOVERED | e;
insn_state       6360 kernel/bpf/verifier.c 	int *insn_stack, *insn_state;
insn_state       6364 kernel/bpf/verifier.c 	insn_state = env->cfg.insn_state = kvcalloc(insn_cnt, sizeof(int), GFP_KERNEL);
insn_state       6365 kernel/bpf/verifier.c 	if (!insn_state)
insn_state       6370 kernel/bpf/verifier.c 		kvfree(insn_state);
insn_state       6374 kernel/bpf/verifier.c 	insn_state[0] = DISCOVERED; /* mark 1st insn as discovered */
insn_state       6455 kernel/bpf/verifier.c 	insn_state[t] = EXPLORED;
insn_state       6465 kernel/bpf/verifier.c 		if (insn_state[i] != EXPLORED) {
insn_state       6474 kernel/bpf/verifier.c 	kvfree(insn_state);
insn_state       6476 kernel/bpf/verifier.c 	env->cfg.insn_state = env->cfg.insn_stack = NULL;
insn_state        212 tools/objtool/check.c static void clear_insn_state(struct insn_state *state)
insn_state       1370 tools/objtool/check.c static bool has_modified_stack_frame(struct insn_state *state)
insn_state       1388 tools/objtool/check.c static bool has_valid_stack_frame(struct insn_state *state)
insn_state       1400 tools/objtool/check.c static int update_insn_state_regs(struct instruction *insn, struct insn_state *state)
insn_state       1424 tools/objtool/check.c static void save_reg(struct insn_state *state, unsigned char reg, int base,
insn_state       1434 tools/objtool/check.c static void restore_reg(struct insn_state *state, unsigned char reg)
insn_state       1493 tools/objtool/check.c static int update_insn_state(struct instruction *insn, struct insn_state *state)
insn_state       1848 tools/objtool/check.c static bool insn_state_match(struct instruction *insn, struct insn_state *state)
insn_state       1850 tools/objtool/check.c 	struct insn_state *state1 = &insn->state, *state2 = state;
insn_state       1906 tools/objtool/check.c static int validate_call(struct instruction *insn, struct insn_state *state)
insn_state       1923 tools/objtool/check.c static int validate_sibling_call(struct instruction *insn, struct insn_state *state)
insn_state       1941 tools/objtool/check.c 			   struct instruction *first, struct insn_state state)
insn_state       2226 tools/objtool/check.c 	struct insn_state state;
insn_state       2359 tools/objtool/check.c 	struct insn_state state;
insn_state         46 tools/objtool/check.h 	struct insn_state state;