Searched refs:bpf_mark_reg_not_init (Results 1 – 3 of 3) sorted by relevance
| /linux/kernel/bpf/ |
| H A D | verifier.c | 749 bpf_mark_reg_not_init(env, &stack[0].spilled_ptr); in invalidate_dynptr() 750 bpf_mark_reg_not_init(env, &stack[1].spilled_ptr); in invalidate_dynptr() 779 bpf_mark_reg_not_init(env, reg); in mark_reg_invalid() 993 bpf_mark_reg_not_init(env, st); in unmark_stack_slots_iter() 1155 bpf_mark_reg_not_init(env, st); in unmark_stack_slot_irq_flag() 2237 void bpf_mark_reg_not_init(const struct bpf_verifier_env *env, in bpf_mark_reg_not_init() function 2280 bpf_mark_reg_not_init(env, ®s[i]); in init_reg_state() 9609 bpf_mark_reg_not_init(env, ®s[caller_saved[i]]); in clear_caller_saved_regs() 9621 bpf_mark_reg_not_init(env, &state->stack_arg_regs[i]); in invalidate_outgoing_stack_args() 10069 bpf_mark_reg_not_init(env, &callee->regs[BPF_REG_5]); in map_set_for_each_callback_args() [all …]
|
| H A D | states.c | 410 bpf_mark_reg_not_init(env, &st->regs[i]); in __clean_func_state() 463 bpf_mark_reg_not_init(env, spill); in __clean_func_state()
|
| /linux/include/linux/ |
| H A D | bpf_verifier.h | 1228 void bpf_mark_reg_not_init(const struct bpf_verifier_env *env,
|