Home
last modified time | relevance | path

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

/Linux-v4.19/kernel/bpf/
Dverifier.c1014 int off, int size, int value_regno, int insn_idx) in check_stack_write() argument
1035 if (value_regno >= 0 && in check_stack_write()
1036 is_spillable_regtype((type = cur->regs[value_regno].type))) { in check_stack_write()
1050 state->stack[spi].spilled_ptr = cur->regs[value_regno]; in check_stack_write()
1098 if (value_regno >= 0 && in check_stack_write()
1099 register_is_null(&cur->regs[value_regno])) in check_stack_write()
1166 int off, int size, int value_regno) in check_stack_read() argument
1192 if (value_regno >= 0) { in check_stack_read()
1194 state->regs[value_regno] = reg_state->stack[spi].spilled_ptr; in check_stack_read()
1199 state->regs[value_regno].live |= REG_LIVE_WRITTEN; in check_stack_read()
[all …]