Signed-off-by: SeongJae Park <sj38.park@xxxxxxxxx>
---
formal/spinhint.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/formal/spinhint.tex b/formal/spinhint.tex
index 73ebe8e..878fa61 100644
--- a/formal/spinhint.tex
+++ b/formal/spinhint.tex
@@ -921,7 +921,7 @@ allows an assertion to determine when all the readers are finished
(since a QRCU update cannot be permitted to complete until all
pre-existing readers have completed their QRCU read-side critical
sections).
-The readerprogress array elements have values as follows,
+The \co{readerprogress} array elements have values as follows,
indicating the state of the corresponding reader:
\begin{enumerate}
--
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
