Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dverifier.c752 mark_dynptr_stack_regs(env, &state->stack[spi].spilled_ptr, in mark_stack_slots_dynptr()
753 &state->stack[spi - 1].spilled_ptr, type); in mark_stack_slots_dynptr()
767 state->stack[spi].spilled_ptr.ref_obj_id = id; in mark_stack_slots_dynptr()
768 state->stack[spi - 1].spilled_ptr.ref_obj_id = id; in mark_stack_slots_dynptr()
771 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in mark_stack_slots_dynptr()
772 state->stack[spi - 1].spilled_ptr.live |= REG_LIVE_WRITTEN; in mark_stack_slots_dynptr()
786 __mark_reg_not_init(env, &state->stack[spi].spilled_ptr); in invalidate_dynptr()
787 __mark_reg_not_init(env, &state->stack[spi - 1].spilled_ptr); in invalidate_dynptr()
810 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in invalidate_dynptr()
811 state->stack[spi - 1].spilled_ptr.live |= REG_LIVE_WRITTEN; in invalidate_dynptr()
[all …]
H A Dlog.c797 reg = &state->stack[i].spilled_ptr; in print_verifier_state()
814 reg = &state->stack[i].spilled_ptr; in print_verifier_state()
/linux/include/linux/
H A Dbpf_verifier.h249 struct bpf_reg_state spilled_ptr; member
466 ? &frame->stack[slot].spilled_ptr : NULL)
/linux/Documentation/bpf/
H A Dverifier.rst373 struct bpf_reg_state spilled_ptr;