Searched refs:mark_reg_read (Results 1 – 2 of 2) sorted by relevance
| /linux-6.15/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
|
| /linux-6.15/kernel/bpf/ |
| H A D | verifier.c | 3451 static int mark_reg_read(struct bpf_verifier_env *env, in mark_reg_read() function
3508 err = mark_reg_read(env, st, st->parent, REG_LIVE_READ64); in mark_stack_slot_obj_read()
3720 return mark_reg_read(env, reg, reg->parent, in __check_reg_arg()
5330 mark_reg_read(env, reg, reg->parent, REG_LIVE_READ64); in check_stack_read_fixed_off()
5404 mark_reg_read(env, reg, reg->parent, REG_LIVE_READ64); in check_stack_read_fixed_off()
5418 mark_reg_read(env, reg, reg->parent, REG_LIVE_READ64); in check_stack_read_fixed_off()
8029 mark_reg_read(env, &state->stack[spi].spilled_ptr, in check_stack_range_initialized()
10861 err = mark_reg_read(env, r0, r0->parent, REG_LIVE_READ64); in prepare_func_exit()
11776 mark_reg_read(env, reg, reg->parent, REG_LIVE_READ64); in __mark_btf_func_reg_size()
11778 mark_reg_read(env, reg, reg->parent, REG_LIVE_READ32); in __mark_btf_func_reg_size()
[all …]
|