Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dlog.c499 [STACK_SPILL] = 'r',
741 case STACK_SPILL: in print_verifier_state()
744 if (state->stack[i].slot_type[j] == STACK_SPILL) in print_verifier_state()
H A Dstates.c447 if (lo_live && stype == STACK_SPILL) { in __clean_func_state()
462 if (*t == STACK_SPILL) in __clean_func_state()
670 return stack->slot_type[im] == STACK_SPILL && in is_spilled_scalar_after()
782 case STACK_SPILL: in stacksafe()
H A Dverifier.c1213 case STACK_SPILL: in is_stack_slot_special()
3448 state->stack[spi].slot_type[i - 1] = STACK_SPILL; in save_register_state()
3716 if (writing_zero && *stype == STACK_SPILL && in check_stack_write_var_off()
3803 if (stype[slot % BPF_REG_SIZE] == STACK_SPILL && in mark_reg_stack_read()
3881 for (i = BPF_REG_SIZE - 1; i > 0 && stype[i - 1] == STACK_SPILL; i--) in check_stack_read_fixed_off()
3914 if (type == STACK_SPILL) { in check_stack_read_fixed_off()
8616 for (i = off; i >= 0 && stype[i] == STACK_SPILL; i--) in get_constant_map_key()
9412 u32 mask = (1 << STACK_SPILL) | (1 << STACK_DYNPTR); in release_reference()
9473 if (!stack || stack->slot_type[BPF_REG_SIZE - 1] == STACK_SPILL) in release_reference()
9499 u32 clear_mask = (1 << STACK_SPILL) | (1 << STACK_ITER); in invalidate_rcu_protected_refs()
/linux/include/linux/
H A Dbpf_verifier.h231 STACK_SPILL, /* register spilled into stack */ enumerator
597 1 << STACK_SPILL, __expr); \
1250 return stack->slot_type[BPF_REG_SIZE - 1] == STACK_SPILL; in bpf_is_spilled_reg()