Home
last modified time | relevance | path

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

/linux-6.1.9/Documentation/bpf/
Dverifier.rst317 This is implemented in states_equal().
/linux-6.1.9/kernel/bpf/
Dverifier.c11754 static bool states_equal(struct bpf_verifier_env *env, in states_equal() function
11979 states_equal(env, &sl->state, cur)) { in is_state_visited()
12001 if (states_equal(env, &sl->state, cur)) { in is_state_visited()