Searched refs:bpf_mark_reg_not_init (Results 1 – 3 of 3) sorted by relevance
| /linux/kernel/bpf/ |
| H A D | verifier.c | 832 bpf_mark_reg_not_init(env, &stack[0].spilled_ptr); in destroy_if_dynptr_stack_slot()
833 bpf_mark_reg_not_init(env, &stack[1].spilled_ptr); in destroy_if_dynptr_stack_slot()
862 bpf_mark_reg_not_init(env, reg); in is_dynptr_reg_valid_uninit()
1090 bpf_mark_reg_not_init(env, st); in mark_stack_slot_irq_flag()
1252 bpf_mark_reg_not_init(env, st);
2491 void bpf_mark_reg_not_init(const struct bpf_verifier_env *env, in kfunc_desc_cmp_by_id_off()
2534 bpf_mark_reg_not_init(env, ®s[i]);
11213 bpf_mark_reg_not_init(env, ®s[caller_saved[i]]); in check_helper_call()
11225 bpf_mark_reg_not_init(env, &state->stack_arg_regs[i]); in check_helper_call()
11747 bpf_mark_reg_not_init(en
2237 void bpf_mark_reg_not_init(const struct bpf_verifier_env *env, bpf_mark_reg_not_init() function
[all...] |
| H A D | states.c | 432 bpf_mark_reg_not_init(env, &st->regs[i]); in __clean_func_state()
485 bpf_mark_reg_not_init(env, spill); in clean_verifier_state()
|
| /linux/include/linux/ |
| H A D | bpf_verifier.h | 1415 void bpf_mark_reg_not_init(const struct bpf_verifier_env *env, in type_is_map_ptr()
|