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];
260 for (i = 0; i < MAX_BPF_STACK; i += BPF_REG_SIZE) { in print_verifier_state()
262 verbose(" fp%d=%s", -MAX_BPF_STACK + i, in print_verifier_state()
570 state->spilled_regs[(MAX_BPF_STACK + off) / BPF_REG_SIZE] = in check_stack_write()
574 state->stack_slot_type[MAX_BPF_STACK + off + i] = STACK_SPILL; in check_stack_write()
577 state->spilled_regs[(MAX_BPF_STACK + off) / BPF_REG_SIZE] = in check_stack_write()
581 state->stack_slot_type[MAX_BPF_STACK + off + i] = STACK_MISC; in check_stack_write()
592 slot_type = &state->stack_slot_type[MAX_BPF_STACK + off]; in check_stack_read()
609 state->spilled_regs[(MAX_BPF_STACK + off) / BPF_REG_SIZE]; in check_stack_read()
713 if (off >= 0 || off < -MAX_BPF_STACK) { in check_mem_access()
719 state->stack_slot_type[MAX_BPF_STACK + off] == STACK_SPILL && in check_mem_access()
783 if (off >= 0 || off < -MAX_BPF_STACK || off + access_size > 0 || in check_stack_boundary()
791 if (state->stack_slot_type[MAX_BPF_STACK + off + i] != STACK_MISC) { in check_stack_boundary()
1636 for (i = 0; i < MAX_BPF_STACK; i++) { in states_equal()