Searched refs:__mark_reg_not_init (Results 1 – 1 of 1) sorted by relevance
| /linux/kernel/bpf/ |
| H A D | verifier.c | 729 static void __mark_reg_not_init(const struct bpf_verifier_env *env,
822 __mark_reg_not_init(env, &state->stack[spi].spilled_ptr); in invalidate_dynptr()
823 __mark_reg_not_init(env, &state->stack[spi - 1].spilled_ptr); in invalidate_dynptr()
889 __mark_reg_not_init(env, reg); in mark_reg_invalid()
940 __mark_reg_not_init(env, &state->stack[spi].spilled_ptr); in destroy_if_dynptr_stack_slot()
941 __mark_reg_not_init(env, &state->stack[spi - 1].spilled_ptr); in destroy_if_dynptr_stack_slot()
1094 __mark_reg_not_init(env, st); in unmark_stack_slots_iter()
1243 __mark_reg_not_init(env, st); in unmark_stack_slot_irq_flag()
2222 __mark_reg_not_init(env, regs + regno); in mark_reg_known_zero()
2813 __mark_reg_not_init(env, regs + regno); in mark_reg_unknown()
[all …]
|