Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dstates.c680 ((stack->slot_type[i] == STACK_INVALID || stack->slot_type[i] == STACK_POISON) && in is_stack_misc_after()
720 cur->stack[spi].slot_type[i % BPF_REG_SIZE] : STACK_INVALID; in stacksafe()
724 old_type = STACK_INVALID; in stacksafe()
726 cur_type = STACK_INVALID; in stacksafe()
731 if (old->stack[spi].slot_type[i % BPF_REG_SIZE] == STACK_INVALID || in stacksafe()
831 case STACK_INVALID: in stacksafe()
H A Dlog.c498 [STACK_INVALID] = '?',
731 if (slot_type != STACK_INVALID && slot_type != STACK_POISON) in print_verifier_state()
H A Dverifier.c745 stack[0].slot_type[i] = STACK_INVALID; in invalidate_dynptr()
746 stack[1].slot_type[i] = STACK_INVALID; in invalidate_dynptr()
996 slot->slot_type[j] = STACK_INVALID; in unmark_stack_slots_iter()
1158 slot->slot_type[i] = STACK_INVALID; in unmark_stack_slot_irq_flag()
1227 case STACK_INVALID: in is_stack_slot_special()
1244 * - STACK_INVALID, in which case they are equivalent.
1248 * mode), we won't promote STACK_INVALID to STACK_MISC. In privileged case it is
1257 if (*stype == STACK_INVALID || *stype == STACK_POISON) in mark_stack_slot_misc()
1264 if (*stype != STACK_INVALID && *stype != STACK_POISON) in scrub_spilled_slot()
3717 * We do however catch STACK_INVALID cas in check_stack_write_var_off()
[all...]
/linux/include/linux/
H A Dbpf_verifier.h231 STACK_INVALID, /* nothing was stored in this stack slot */ enumerator