Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dlog.c502 [STACK_DYNPTR] = 'd',
751 case STACK_DYNPTR: in print_verifier_state()
H A Dstates.c434 if (stype == STACK_DYNPTR || stype == STACK_ITER || in __clean_func_state()
796 case STACK_DYNPTR: in stacksafe()
H A Dverifier.c690 * as STACK_DYNPTR and will simply skip destruction. in mark_stack_slots_dynptr()
700 state->stack[spi].slot_type[i] = STACK_DYNPTR; in mark_stack_slots_dynptr()
701 state->stack[spi - 1].slot_type[i] = STACK_DYNPTR; in mark_stack_slots_dynptr()
791 bpf_for_each_reg_in_vstate_mask(env->cur_state, state, reg, stack, 1 << STACK_DYNPTR, ({ in dynptr_ref_cnt()
792 if (!stack || stack->slot_type[0] != STACK_DYNPTR) in dynptr_ref_cnt()
808 /* We always ensure that STACK_DYNPTR is never set partially, in destroy_if_dynptr_stack_slot()
813 if (state->stack[spi].slot_type[0] != STACK_DYNPTR) in destroy_if_dynptr_stack_slot()
863 * STACK_DYNPTR slots, see mark_stack_slots_dynptr which calls in is_dynptr_reg_valid_uninit()
894 if (state->stack[spi].slot_type[i] != STACK_DYNPTR || in is_dynptr_reg_valid_init()
895 state->stack[spi - 1].slot_type[i] != STACK_DYNPTR) in is_dynptr_reg_valid_init()
[all...]
/linux/include/linux/
H A Dbpf_verifier.h238 STACK_DYNPTR, enumerator