Hi Paul,
There is another wrong reference, please ignore this.
I will send another patch.
Thanks,
Alan
> 2023年5月22日 00:08，Alan Huang <mmpgouride@xxxxxxxxx> 写道：
>
> The item cites the wrong reference. This patch fixes that.
>
> Signed-off-by: Alan Huang <mmpgouride@xxxxxxxxx>
> ---
> formal/dyntickrcu.tex | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/formal/dyntickrcu.tex b/formal/dyntickrcu.tex
> index 42c0c55c..2ed31f84 100644
> --- a/formal/dyntickrcu.tex
> +++ b/formal/dyntickrcu.tex
> @@ -1132,7 +1132,7 @@ This effort provided some lessons (re)learned:
> In this case, the documentation effort located
> a misplaced memory barrier in
> \co{rcu_enter_nohz()} and \co{rcu_exit_nohz()},
> - as shown by the following patch~\cite{PaulEMcKenney2008commit:d7c0651390b6}.
> + as shown by the following patch~\cite{PaulEMcKenney2008commit:ae66be9b71b1}.
>
> \begin{VerbatimU}
> static inline void rcu_enter_nohz(void)
> --
> 2.34.1
>
