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