Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dlog.c535 [STACK_SPILL] = 'r',
799 case STACK_SPILL: in print_verifier_state()
802 if (state->stack[i].slot_type[j] == STACK_SPILL) in print_verifier_state()
H A Dverifier.c1282 case STACK_SPILL: in is_stack_slot_special()
1302 return stack->slot_type[BPF_REG_SIZE - 1] == STACK_SPILL; in is_spilled_reg()
1307 return stack->slot_type[BPF_REG_SIZE - 1] == STACK_SPILL && in is_spilled_scalar_reg()
1313 return stack->slot_type[0] == STACK_SPILL && in is_spilled_scalar_reg64()
4823 state->stack[spi].slot_type[i - 1] = STACK_SPILL; in save_register_state()
5080 if (writing_zero && *stype == STACK_SPILL && in check_stack_write_var_off()
5193 for (i = BPF_REG_SIZE - 1; i > 0 && stype[i - 1] == STACK_SPILL; i--) in check_stack_read_fixed_off()
5227 if (type == STACK_SPILL) { in check_stack_read_fixed_off()
9193 for (i = off; i >= 0 && stype[i] == STACK_SPILL; i--) in get_constant_map_key()
13128 u32 clear_mask = (1 << STACK_SPILL) | (1 << STACK_ITER); in check_kfunc_call()
[all …]
/linux/include/linux/
H A Dbpf_verifier.h228 STACK_SPILL, /* register spilled into stack */ enumerator
496 bpf_for_each_reg_in_vstate_mask(__vst, __state, __reg, 1 << STACK_SPILL, __expr)