Searched refs:__mark_reg_not_init (Results 1 – 1 of 1) sorted by relevance
| /linux-6.12.1/kernel/bpf/ |
| D | verifier.c | 683 static void __mark_reg_not_init(const struct bpf_verifier_env *env,
777 __mark_reg_not_init(env, &state->stack[spi].spilled_ptr); in invalidate_dynptr()
778 __mark_reg_not_init(env, &state->stack[spi - 1].spilled_ptr); in invalidate_dynptr()
857 __mark_reg_not_init(env, reg); in mark_reg_invalid()
908 __mark_reg_not_init(env, &state->stack[spi].spilled_ptr); in destroy_if_dynptr_stack_slot()
909 __mark_reg_not_init(env, &state->stack[spi - 1].spilled_ptr); in destroy_if_dynptr_stack_slot()
1064 __mark_reg_not_init(env, st); in unmark_stack_slots_iter()
1815 __mark_reg_not_init(env, regs + regno); in mark_reg_known_zero()
2366 __mark_reg_not_init(env, regs + regno); in mark_reg_unknown()
2391 static void __mark_reg_not_init(const struct bpf_verifier_env *env, in __mark_reg_not_init() function
[all …]
|