Home
last modified time | relevance | path

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

/linux-6.12.1/Documentation/bpf/
Dverifier.rst538 ``clean_live_states()``. This function marks all registers and stack slots
565 by ``clean_live_states()``. After this processing ``checkpoint[0].r1`` has a
/linux-6.12.1/kernel/bpf/
Dverifier.c17183 static void clean_live_states(struct bpf_verifier_env *env, int insn, in clean_live_states() function
17901 clean_live_states(env, insn_idx, cur); in is_state_visited()