Searched refs:mark_reg_read (Results 1 – 2 of 2) sorted by relevance
| /linux-6.12.1/Documentation/bpf/ |
| D | verifier.rst | 489 function ``mark_reg_read()`` which could be summarized as follows::
491 mark_reg_read(struct bpf_reg_state *state, ...):
513 ``propagate_liveness()`` and ``mark_reg_read()`` source code for further
|
| /linux-6.12.1/kernel/bpf/ |
| D | verifier.c | 3088 static int mark_reg_read(struct bpf_verifier_env *env, in mark_reg_read() function
3154 ret = mark_reg_read(env, &state->stack[spi].spilled_ptr, in mark_dynptr_read()
3158 return mark_reg_read(env, &state->stack[spi - 1].spilled_ptr, in mark_dynptr_read()
3171 err = mark_reg_read(env, st, st->parent, REG_LIVE_READ64); in mark_iter_read()
3348 return mark_reg_read(env, reg, reg->parent, in __check_reg_arg()
4947 mark_reg_read(env, reg, reg->parent, REG_LIVE_READ64); in check_stack_read_fixed_off()
5021 mark_reg_read(env, reg, reg->parent, REG_LIVE_READ64); in check_stack_read_fixed_off()
5035 mark_reg_read(env, reg, reg->parent, REG_LIVE_READ64); in check_stack_read_fixed_off()
7418 mark_reg_read(env, &state->stack[spi].spilled_ptr, in check_stack_range_initialized()
10104 err = mark_reg_read(env, r0, r0->parent, REG_LIVE_READ64); in prepare_func_exit()
[all …]
|