diff options
| author | Eduard Zingerman <eddyz87@gmail.com> | 2025-02-15 14:03:59 +0300 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2025-02-19 06:22:59 +0300 |
| commit | 5564ee3abb2ebece37000662a52eb6607b9c9f7d (patch) | |
| tree | f9302e2a09970a3de427a0fa0ac3b77e7521f2d2 /tools/perf/scripts/python/task-analyzer.py | |
| parent | 590eee4268368cfa05db4d4c5524c86e8d94a0bd (diff) | |
| download | linux-5564ee3abb2ebece37000662a52eb6607b9c9f7d.tar.xz | |
bpf: use list_head to track explored states and free list
The next patch in the set needs the ability to remove individual
states from env->free_list while only holding a pointer to the state.
Which requires env->free_list to be a doubly linked list.
This patch converts env->free_list and struct bpf_verifier_state_list
to use struct list_head for this purpose. The change to
env->explored_states is collateral.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20250215110411.3236773-9-eddyz87@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'tools/perf/scripts/python/task-analyzer.py')
0 files changed, 0 insertions, 0 deletions