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