Lines Matching refs:MAX_BPF_STACK
167 u8 stack_slot_type[MAX_BPF_STACK];
168 struct reg_state spilled_regs[MAX_BPF_STACK / BPF_REG_SIZE];
259 for (i = 0; i < MAX_BPF_STACK; i += BPF_REG_SIZE) { in print_verifier_state()
261 verbose(" fp%d=%s", -MAX_BPF_STACK + i, in print_verifier_state()
556 state->spilled_regs[(MAX_BPF_STACK + off) / BPF_REG_SIZE] = in check_stack_write()
560 state->stack_slot_type[MAX_BPF_STACK + off + i] = STACK_SPILL; in check_stack_write()
563 state->spilled_regs[(MAX_BPF_STACK + off) / BPF_REG_SIZE] = in check_stack_write()
567 state->stack_slot_type[MAX_BPF_STACK + off + i] = STACK_MISC; in check_stack_write()
578 slot_type = &state->stack_slot_type[MAX_BPF_STACK + off]; in check_stack_read()
595 state->spilled_regs[(MAX_BPF_STACK + off) / BPF_REG_SIZE]; in check_stack_read()
671 if (off >= 0 || off < -MAX_BPF_STACK) { in check_mem_access()
734 if (off >= 0 || off < -MAX_BPF_STACK || off + access_size > 0 || in check_stack_boundary()
742 if (state->stack_slot_type[MAX_BPF_STACK + off + i] != STACK_MISC) { in check_stack_boundary()
1503 for (i = 0; i < MAX_BPF_STACK; i++) { in states_equal()