Home
last modified time | relevance | path

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

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