Signed-off-by: SeongJae Park <sj38.park@xxxxxxxxx>
---
formal/dyntickrcu.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/formal/dyntickrcu.tex b/formal/dyntickrcu.tex
index a36901e..e31996d 100644
--- a/formal/dyntickrcu.tex
+++ b/formal/dyntickrcu.tex
@@ -2197,7 +2197,7 @@ true if the CPU was in a quiescent state.
\end{figure}
Figure~\ref{fig:formal:Checking Dyntick Progress Counters}
-shows \co{dyntick_save_progress_counter}, which is called to check
+shows \co{rcu_implicit_dynticks_qs()}, which is called to check
whether a CPU has entered dyntick-idle mode subsequent to a call
to \co{dynticks_save_progress_counter()}.
Lines~9 and~11 take new snapshots of the corresponding CPU's
--
2.10.0
--
To unsubscribe from this list: send the line "unsubscribe perfbook" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
