Searched refs:mark_reg_read (Results 1 – 2 of 2) sorted by relevance
| /Linux-v6.6/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-v6.6/kernel/bpf/ |
| D | verifier.c | 2891 static int mark_reg_read(struct bpf_verifier_env *env, in mark_reg_read() function
2957 ret = mark_reg_read(env, &state->stack[spi].spilled_ptr, in mark_dynptr_read()
2961 return mark_reg_read(env, &state->stack[spi - 1].spilled_ptr, in mark_dynptr_read()
2974 err = mark_reg_read(env, st, st->parent, REG_LIVE_READ64); in mark_iter_read()
3152 return mark_reg_read(env, reg, reg->parent, in check_reg_arg()
4623 mark_reg_read(env, reg, reg->parent, REG_LIVE_READ64); in check_stack_read_fixed_off()
4673 mark_reg_read(env, reg, reg->parent, REG_LIVE_READ64); in check_stack_read_fixed_off()
4687 mark_reg_read(env, reg, reg->parent, REG_LIVE_READ64); in check_stack_read_fixed_off()
6934 mark_reg_read(env, &state->stack[spi].spilled_ptr, in check_stack_range_initialized()
9994 mark_reg_read(env, reg, reg->parent, REG_LIVE_READ64); in mark_btf_func_reg_size()
[all …]
|
