>From ce3017c2ee2b9b52501cc5d6f9bf896486fe6ac4 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@xxxxxxxxx>
Date: Tue, 9 Apr 2019 00:07:18 +0900
Subject: [PATCH 3/3] formal/dyntickrcu: Cite git commits of dyntickrcu fixes
Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
---
formal/dyntickrcu.tex | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/formal/dyntickrcu.tex b/formal/dyntickrcu.tex
index 0c09d1ce..2ba58cd3 100644
--- a/formal/dyntickrcu.tex
+++ b/formal/dyntickrcu.tex
@@ -1131,7 +1131,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.
+ as shown by the following patch~\cite{PaulEMcKenney2008commit:d7c0651390b6}.
\begin{VerbatimU}
static inline void rcu_enter_nohz(void)
@@ -1154,7 +1154,7 @@ This effort provided some lessons (re)learned:
This effort located one subtle bug in
\co{rcu_try_flip_waitack_needed()}
that would have been quite difficult to test or debug, as
- shown by the following patch.
+ shown by the following patch~\cite{PaulEMcKenney2008commit:ae66be9b71b1}.
\begin{VerbatimU}
- if ((curr - snap) > 2 || (snap & 0x1) == 0)
--
2.17.1
