Lines Matching refs:spilled_ptr
355 print_liveness(env, state->stack[i].spilled_ptr.live); in print_verifier_state()
357 reg_type_str[state->stack[i].spilled_ptr.type]); in print_verifier_state()
1050 state->stack[spi].spilled_ptr = cur->regs[value_regno]; in check_stack_write()
1051 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in check_stack_write()
1084 state->stack[spi].spilled_ptr = (struct bpf_reg_state) {}; in check_stack_write()
1095 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in check_stack_write()
1154 if (writes && state->frame[frameno]->stack[slot].spilled_ptr.live & REG_LIVE_WRITTEN) in mark_stack_slot_read()
1157 parent->frame[frameno]->stack[slot].spilled_ptr.live |= REG_LIVE_READ; in mark_stack_slot_read()
1194 state->regs[value_regno] = reg_state->stack[spi].spilled_ptr; in check_stack_read()
2311 reg = &state->stack[i].spilled_ptr; in __clear_all_pkt_pointers()
3461 reg = &state->stack[i].spilled_ptr; in find_good_pkt_pointers()
3718 mark_map_reg(&state->stack[i].spilled_ptr, 0, id, is_null); in mark_map_regs()
4494 if (!(old->stack[spi].spilled_ptr.live & REG_LIVE_READ)) in stacksafe()
4519 if (!regsafe(&old->stack[spi].spilled_ptr, in stacksafe()
4520 &cur->stack[spi].spilled_ptr, in stacksafe()
4647 if (parent->stack[i].spilled_ptr.live & REG_LIVE_READ) in propagate_liveness()
4649 if (state->stack[i].spilled_ptr.live & REG_LIVE_READ) in propagate_liveness()
4726 frame->stack[i].spilled_ptr.live = REG_LIVE_NONE; in is_state_visited()