Home
last modified time | relevance | path

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

/openbmc/linux/Documentation/bpf/
H A Dverifier.rst314 another NOT_INIT) is safe. The implementation is in the function regsafe().
/openbmc/linux/kernel/bpf/
H A Dverifier.c15991 static bool regsafe(struct bpf_verifier_env *env, struct bpf_reg_state *rold, in regsafe() function
16181 if (!regsafe(env, &old->stack[spi].spilled_ptr, in stacksafe()
16272 if (!regsafe(env, &old->regs[i], &cur->regs[i], in func_states_equal()