Searched refs:regsafe (Results 1 – 2 of 2) sorted by relevance
| /linux-6.12.1/Documentation/bpf/ |
| D | verifier.rst | 314 another NOT_INIT) is safe. The implementation is in the function regsafe().
|
| /linux-6.12.1/kernel/bpf/ |
| D | verifier.c | 17217 static bool regsafe(struct bpf_verifier_env *env, struct bpf_reg_state *rold, in regsafe() function
17431 if (!regsafe(env, old_reg, cur_reg, idmap, exact)) in stacksafe()
17467 if (!regsafe(env, &old->stack[spi].spilled_ptr, in stacksafe()
17558 if (!regsafe(env, &old->regs[i], &cur->regs[i], in func_states_equal()
|