Lines Matching refs:stype
623 static void scrub_spilled_slot(u8 *stype) in scrub_spilled_slot() argument
625 if (*stype != STACK_INVALID) in scrub_spilled_slot()
626 *stype = STACK_MISC; in scrub_spilled_slot()
2998 u8 new_type, *stype; in check_stack_write_var_off() local
3003 stype = &state->stack[spi].slot_type[slot % BPF_REG_SIZE]; in check_stack_write_var_off()
3005 if (!env->allow_ptr_leaks && *stype != STACK_MISC && *stype != STACK_ZERO) { in check_stack_write_var_off()
3027 if (writing_zero && *stype == STACK_ZERO) { in check_stack_write_var_off()
3039 if (*stype == STACK_INVALID && !env->allow_uninit_stack) { in check_stack_write_var_off()
3044 *stype = new_type; in check_stack_write_var_off()
3071 u8 *stype; in mark_reg_stack_read() local
3077 stype = ptr_state->stack[spi].slot_type; in mark_reg_stack_read()
3078 if (stype[slot % BPF_REG_SIZE] != STACK_ZERO) in mark_reg_stack_read()
3123 u8 *stype, type; in check_stack_read_fixed_off() local
3125 stype = reg_state->stack[spi].slot_type; in check_stack_read_fixed_off()
3131 for (i = BPF_REG_SIZE - 1; i > 0 && stype[i - 1] == STACK_SPILL; i--) in check_stack_read_fixed_off()
3155 type = stype[(slot - i) % BPF_REG_SIZE]; in check_stack_read_fixed_off()
3192 type = stype[(slot - i) % BPF_REG_SIZE]; in check_stack_read_fixed_off()
4761 u8 *stype; in check_stack_range_initialized() local
4767 stype = &state->stack[spi].slot_type[slot % BPF_REG_SIZE]; in check_stack_range_initialized()
4768 if (*stype == STACK_MISC) in check_stack_range_initialized()
4770 if (*stype == STACK_ZERO) { in check_stack_range_initialized()
4773 *stype = STACK_MISC; in check_stack_range_initialized()