Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dstates.c445 struct bpf_reg_state *spill = &st->stack[i].spilled_ptr; in __clean_func_state()
671 stack->spilled_ptr.type == SCALAR_VALUE; in is_spilled_scalar_after()
694 return &stack->spilled_ptr; in scalar_reg_for_stack()
793 if (!regsafe(env, &old->stack[spi].spilled_ptr, in stacksafe()
794 &cur->stack[spi].spilled_ptr, idmap, exact)) in stacksafe()
798 old_reg = &old->stack[spi].spilled_ptr; in stacksafe()
799 cur_reg = &cur->stack[spi].spilled_ptr; in stacksafe()
807 old_reg = &old->stack[spi].spilled_ptr; in stacksafe()
808 cur_reg = &cur->stack[spi].spilled_ptr; in stacksafe()
824 old_reg = &old->stack[spi].spilled_ptr; in stacksafe()
[all …]
H A Dbacktrack.c689 reg = &func->stack[j].spilled_ptr; in bpf_mark_all_scalars_precise()
934 reg = &func->stack[i].spilled_ptr; in bpf_mark_chain_precision()
H A Dlog.c739 reg = &state->stack[i].spilled_ptr; in print_verifier_state()
754 reg = &state->stack[i].spilled_ptr; in print_verifier_state()
H A Dverifier.c725 mark_dynptr_stack_regs(env, &state->stack[spi].spilled_ptr, in mark_stack_slots_dynptr()
726 &state->stack[spi - 1].spilled_ptr, type, parent_id); in mark_stack_slots_dynptr()
740 bpf_mark_reg_not_init(env, &stack[0].spilled_ptr); in invalidate_dynptr()
741 bpf_mark_reg_not_init(env, &stack[1].spilled_ptr); in invalidate_dynptr()
758 reg = &state->stack[spi].spilled_ptr; in unmark_stack_slots_dynptr()
785 if (!stack->spilled_ptr.dynptr.first_slot) in dynptr_ref_cnt()
787 if (stack->spilled_ptr.parent_id == v_parent_id) in dynptr_ref_cnt()
808 if (!state->stack[spi].spilled_ptr.dynptr.first_slot) in destroy_if_dynptr_stack_slot()
816 if (dynptr_type_referenced(state->stack[spi].spilled_ptr.dynptr.type) && in destroy_if_dynptr_stack_slot()
817 dynptr_ref_cnt(env, state->stack[spi].spilled_ptr.parent_id) <= 1) { in destroy_if_dynptr_stack_slot()
[all …]
H A Ddiagnostics.c1573 return &state->stack[target->spi].spilled_ptr; in target_to_reg()
/linux/include/linux/
H A Dbpf_verifier.h305 struct bpf_reg_state spilled_ptr; member
537 return &frame->stack[slot].spilled_ptr; in bpf_get_spilled_reg()
1255 return bpf_is_spilled_reg(stack) && stack->spilled_ptr.type == SCALAR_VALUE; in bpf_is_spilled_scalar_reg()