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()
670 stack->spilled_ptr.type == SCALAR_VALUE; in is_spilled_scalar_after()
693 return &stack->spilled_ptr; in scalar_reg_for_stack()
792 if (!regsafe(env, &old->stack[spi].spilled_ptr, in stacksafe()
793 &cur->stack[spi].spilled_ptr, idmap, exact)) in stacksafe()
797 old_reg = &old->stack[spi].spilled_ptr; in stacksafe()
798 cur_reg = &cur->stack[spi].spilled_ptr; in stacksafe()
806 old_reg = &old->stack[spi].spilled_ptr; in stacksafe()
807 cur_reg = &cur->stack[spi].spilled_ptr; in stacksafe()
823 old_reg = &old->stack[spi].spilled_ptr; in stacksafe()
[all …]
H A Dbacktrack.c699 reg = &func->stack[j].spilled_ptr; in bpf_mark_all_scalars_precise()
944 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.c734 mark_dynptr_stack_regs(env, &state->stack[spi].spilled_ptr, in mark_stack_slots_dynptr()
735 &state->stack[spi - 1].spilled_ptr, type, parent_id); in mark_stack_slots_dynptr()
749 bpf_mark_reg_not_init(env, &stack[0].spilled_ptr); in invalidate_dynptr()
750 bpf_mark_reg_not_init(env, &stack[1].spilled_ptr); in invalidate_dynptr()
767 reg = &state->stack[spi].spilled_ptr; in unmark_stack_slots_dynptr()
794 if (!stack->spilled_ptr.dynptr.first_slot) in dynptr_ref_cnt()
796 if (stack->spilled_ptr.parent_id == v_parent_id) in dynptr_ref_cnt()
817 if (!state->stack[spi].spilled_ptr.dynptr.first_slot) in destroy_if_dynptr_stack_slot()
825 if (dynptr_type_referenced(state->stack[spi].spilled_ptr.dynptr.type) && in destroy_if_dynptr_stack_slot()
826 dynptr_ref_cnt(env, state->stack[spi].spilled_ptr 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.h306 struct bpf_reg_state spilled_ptr; member
538 return &frame->stack[slot].spilled_ptr; in bpf_get_spilled_reg()
1278 return bpf_is_spilled_reg(stack) && stack->spilled_ptr.type == SCALAR_VALUE; in bpf_is_spilled_scalar_reg()