Home
last modified time | relevance | path

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

/linux-6.12.1/kernel/bpf/
Dverifier.c743 mark_dynptr_stack_regs(env, &state->stack[spi].spilled_ptr, in mark_stack_slots_dynptr()
744 &state->stack[spi - 1].spilled_ptr, type); in mark_stack_slots_dynptr()
758 state->stack[spi].spilled_ptr.ref_obj_id = id; in mark_stack_slots_dynptr()
759 state->stack[spi - 1].spilled_ptr.ref_obj_id = id; in mark_stack_slots_dynptr()
762 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in mark_stack_slots_dynptr()
763 state->stack[spi - 1].spilled_ptr.live |= REG_LIVE_WRITTEN; in mark_stack_slots_dynptr()
777 __mark_reg_not_init(env, &state->stack[spi].spilled_ptr); in invalidate_dynptr()
778 __mark_reg_not_init(env, &state->stack[spi - 1].spilled_ptr); in invalidate_dynptr()
801 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in invalidate_dynptr()
802 state->stack[spi - 1].spilled_ptr.live |= REG_LIVE_WRITTEN; in invalidate_dynptr()
[all …]
Dlog.c795 reg = &state->stack[i].spilled_ptr; in print_verifier_state()
812 reg = &state->stack[i].spilled_ptr; in print_verifier_state()
/linux-6.12.1/include/linux/
Dbpf_verifier.h264 struct bpf_reg_state spilled_ptr; member
476 ? &frame->stack[slot].spilled_ptr : NULL)
/linux-6.12.1/Documentation/bpf/
Dverifier.rst373 struct bpf_reg_state spilled_ptr;