Home
last modified time | relevance | path

Searched refs:spilled_ptr (Results 1 – 3 of 3) sorted by relevance

/Linux-v6.6/kernel/bpf/
Dverifier.c919 mark_dynptr_stack_regs(env, &state->stack[spi].spilled_ptr, in mark_stack_slots_dynptr()
920 &state->stack[spi - 1].spilled_ptr, type); in mark_stack_slots_dynptr()
934 state->stack[spi].spilled_ptr.ref_obj_id = id; in mark_stack_slots_dynptr()
935 state->stack[spi - 1].spilled_ptr.ref_obj_id = id; in mark_stack_slots_dynptr()
938 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in mark_stack_slots_dynptr()
939 state->stack[spi - 1].spilled_ptr.live |= REG_LIVE_WRITTEN; in mark_stack_slots_dynptr()
953 __mark_reg_not_init(env, &state->stack[spi].spilled_ptr); in invalidate_dynptr()
954 __mark_reg_not_init(env, &state->stack[spi - 1].spilled_ptr); in invalidate_dynptr()
977 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in invalidate_dynptr()
978 state->stack[spi - 1].spilled_ptr.live |= REG_LIVE_WRITTEN; in invalidate_dynptr()
[all …]
/Linux-v6.6/include/linux/
Dbpf_verifier.h252 struct bpf_reg_state spilled_ptr; member
391 ? &frame->stack[slot].spilled_ptr : NULL)
/Linux-v6.6/Documentation/bpf/
Dverifier.rst373 struct bpf_reg_state spilled_ptr;