Home
last modified time | relevance | path

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

/linux-6.3-rc2/include/linux/
A Dbpf_verifier.h206 STACK_INVALID, /* nothing was stored in this stack slot */ enumerator
/linux-6.3-rc2/Documentation/bpf/
A Dverifier.rst539 without ``REG_LIVE_READ{32,64}`` marks as ``NOT_INIT`` or ``STACK_INVALID``.
567 or ``STACK_INVALID``
/linux-6.3-rc2/kernel/bpf/
A Dverifier.c631 [STACK_INVALID] = '?',
857 state->stack[spi].slot_type[i] = STACK_INVALID; in unmark_stack_slots_dynptr()
858 state->stack[spi - 1].slot_type[i] = STACK_INVALID; in unmark_stack_slots_dynptr()
927 state->stack[spi].slot_type[i] = STACK_INVALID; in destroy_if_dynptr_stack_slot()
928 state->stack[spi - 1].slot_type[i] = STACK_INVALID; in destroy_if_dynptr_stack_slot()
1037 if (*stype != STACK_INVALID) in scrub_spilled_slot()
1144 if (state->stack[i].slot_type[j] != STACK_INVALID) in print_verifier_state()
3708 if (*stype == STACK_INVALID && !env->allow_uninit_stack) { in check_stack_write_var_off()
13749 st->stack[i].slot_type[j] = STACK_INVALID; in clean_func_state()
13936 if (old->stack[spi].slot_type[i % BPF_REG_SIZE] == STACK_INVALID) in stacksafe()
[all …]

Completed in 32 milliseconds