On Sat, 2024-01-13 at 14:39 -0800, Alexei Starovoitov wrote: [...] > > 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`` > > The typo fix looks correct to me. > > Eduard, > since you're the author of this line. Pls double check. Right, it should be r1, my mistake. Acked-by: Eduard Zingerman <eddyz87@xxxxxxxxx>
