Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dlog.c534 [STACK_INVALID] = '?',
789 if (slot_type != STACK_INVALID) in print_verifier_state()
H A Dverifier.c797 state->stack[spi].slot_type[i] = STACK_INVALID; in invalidate_dynptr()
798 state->stack[spi - 1].slot_type[i] = STACK_INVALID; in invalidate_dynptr()
804 /* Why do we need to set REG_LIVE_WRITTEN for STACK_INVALID slot? in invalidate_dynptr()
806 * While we don't allow reading STACK_INVALID, it is still possible to in invalidate_dynptr()
814 * This was not a problem before because STACK_INVALID is only set by in invalidate_dynptr()
915 state->stack[spi].slot_type[i] = STACK_INVALID; in destroy_if_dynptr_stack_slot()
916 state->stack[spi - 1].slot_type[i] = STACK_INVALID; in destroy_if_dynptr_stack_slot()
1094 slot->slot_type[j] = STACK_INVALID; in unmark_stack_slots_iter()
1245 slot->slot_type[i] = STACK_INVALID; in unmark_stack_slot_irq_flag()
1314 case STACK_INVALID in is_stack_slot_special()
[all...]
/linux/Documentation/bpf/
H A Dverifier.rst539 without ``REG_LIVE_READ{32,64}`` marks as ``NOT_INIT`` or ``STACK_INVALID``.
567 or ``STACK_INVALID``