Home
last modified time | relevance | path

Searched refs:STACK_POISON (Results 1 – 4 of 4) sorted by relevance

/linux/kernel/bpf/
H A Dstates.c469 st->stack[i].slot_type[j] = STACK_POISON; in __clean_func_state()
681 ((stack->slot_type[i] == STACK_INVALID || stack->slot_type[i] == STACK_POISON) && in is_stack_misc_after()
724 if (old_type == STACK_POISON) in stacksafe()
726 if (cur_type == STACK_POISON) in stacksafe()
733 old->stack[spi].slot_type[i % BPF_REG_SIZE] == STACK_POISON) in stacksafe()
833 case STACK_POISON: in stacksafe()
H A Dlog.c505 [STACK_POISON] = 'p',
731 if (slot_type != STACK_INVALID && slot_type != STACK_POISON) in print_verifier_state()
H A Dverifier.c1219 case STACK_POISON: in is_stack_slot_special()
1248 if (*stype == STACK_INVALID || *stype == STACK_POISON) in mark_stack_slot_misc()
1255 if (*stype != STACK_INVALID && *stype != STACK_POISON) in scrub_spilled_slot()
3749 if ((*stype == STACK_INVALID || *stype == STACK_POISON) && in check_stack_write_var_off()
3926 if (type == STACK_POISON) { in check_stack_read_fixed_off()
3985 if (type == STACK_POISON) { in check_stack_read_fixed_off()
6932 if (*stype == STACK_POISON) { in check_stack_range_initialized()
/linux/include/linux/
H A Dbpf_verifier.h240 STACK_POISON, enumerator