Home
last modified time | relevance | path

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

/linux/include/linux/
H A Dbpf_verifier.h288 struct bpf_reg_state spilled_ptr; member
503 ? &frame->stack[slot].spilled_ptr : NULL)
1135 return bpf_is_spilled_reg(stack) && stack->spilled_ptr.type == SCALAR_VALUE; in bpf_is_spilled_scalar_reg()
/linux/kernel/bpf/
H A Dverifier.c679 mark_dynptr_stack_regs(env, &state->stack[spi].spilled_ptr, in mark_stack_slots_dynptr()
680 &state->stack[spi - 1].spilled_ptr, type); in mark_stack_slots_dynptr()
694 state->stack[spi].spilled_ptr.ref_obj_id = id; in mark_stack_slots_dynptr()
695 state->stack[spi - 1].spilled_ptr.ref_obj_id = id; in mark_stack_slots_dynptr()
710 bpf_mark_reg_not_init(env, &state->stack[spi].spilled_ptr); in invalidate_dynptr()
711 bpf_mark_reg_not_init(env, &state->stack[spi - 1].spilled_ptr); in invalidate_dynptr()
732 if (!dynptr_type_refcounted(state->stack[spi].spilled_ptr.dynptr.type)) { in unmark_stack_slots_dynptr()
737 ref_obj_id = state->stack[spi].spilled_ptr.ref_obj_id; in unmark_stack_slots_dynptr()
751 if (state->stack[i].spilled_ptr.ref_obj_id != ref_obj_id) in unmark_stack_slots_dynptr()
762 if (state->stack[i].spilled_ptr.dynptr.first_slot) in unmark_stack_slots_dynptr()
[all …]