Searched refs:mark_reg_read (Results 1 – 2 of 2) sorted by relevance
| /openbmc/linux/Documentation/bpf/ |
| H A 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
|
| /openbmc/linux/kernel/bpf/ |
| H A D | verifier.c | 3116 static int mark_reg_read(struct bpf_verifier_env *env, in mark_reg_read() function
3182 ret = mark_reg_read(env, &state->stack[spi].spilled_ptr, in mark_dynptr_read()
3186 return mark_reg_read(env, &state->stack[spi - 1].spilled_ptr, in mark_dynptr_read()
3199 err = mark_reg_read(env, st, st->parent, REG_LIVE_READ64); in mark_iter_read()
3375 return mark_reg_read(env, reg, reg->parent, in __check_reg_arg()
4880 mark_reg_read(env, reg, reg->parent, REG_LIVE_READ64); in check_stack_read_fixed_off()
4930 mark_reg_read(env, reg, reg->parent, REG_LIVE_READ64); in check_stack_read_fixed_off()
4944 mark_reg_read(env, reg, reg->parent, REG_LIVE_READ64); in check_stack_read_fixed_off()
7189 mark_reg_read(env, &state->stack[spi].spilled_ptr, in check_stack_range_initialized()
9642 err = mark_reg_read(env, r0, r0->parent, REG_LIVE_READ64); in prepare_func_exit()
[all …]
|