diff options
| author | Yonghong Song <yonghong.song@linux.dev> | 2024-01-11 06:21:36 +0100 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2024-01-23 23:40:23 +0100 |
| commit | 88031b929c01fe3686d34a848c413c2e51e6a7c8 (patch) | |
| tree | 01abae8ed27f9b646851e7b0662fa53ed401f2ac /Documentation/bpf | |
| parent | selftests/bpf: Add a selftest with not-8-byte aligned BPF_ST (diff) | |
| download | linux-88031b929c01fe3686d34a848c413c2e51e6a7c8.tar.xz linux-88031b929c01fe3686d34a848c413c2e51e6a7c8.zip | |
docs/bpf: Fix an incorrect statement in verifier.rst
In verifier.rst, I found an incorrect statement (maybe a typo) in section
'Liveness marks tracking'. Basically, the wrong register is attributed
to have a read mark. This may confuse the user.
Signed-off-by: Yonghong Song <yonghong.song@linux.dev>
Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20240111052136.3440417-1-yonghong.song@linux.dev
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'Documentation/bpf')
| -rw-r--r-- | Documentation/bpf/verifier.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/bpf/verifier.rst b/Documentation/bpf/verifier.rst index f0ec19db301c..356894399fbf 100644 --- a/Documentation/bpf/verifier.rst +++ b/Documentation/bpf/verifier.rst @@ -562,7 +562,7 @@ works:: * ``checkpoint[0].r1`` is marked as read; * At instruction #5 exit is reached and ``checkpoint[0]`` can now be processed - by ``clean_live_states()``. After this processing ``checkpoint[0].r0`` has a + by ``clean_live_states()``. After this processing ``checkpoint[0].r1`` has a read mark and all other registers and stack slots are marked as ``NOT_INIT`` or ``STACK_INVALID`` |