Signed-off-by: Akira Yokosawa <[email protected]>
---
together/applyrcu.tex | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/together/applyrcu.tex b/together/applyrcu.tex
index 455bf2a1..6004cb24 100644
--- a/together/applyrcu.tex
+++ b/together/applyrcu.tex
@@ -969,16 +969,16 @@ and transfer control to \clnref{unl:2}, which exits the
RCU read-side critical
section.
\Clnref{init:a} initializes the element (abstracting away any required
allocation),
\clnref{xchg} atomically exchanges the pointer to this element with the global
-pointer \co{p}, returning the old value in \co{r1}.
+pointer~\co{p}, returning the old value in \co{r1}.
If \clnref{if:2} determines that \co{r1} was non-\co{NULL}, then \clnref{sync}
waits for any readers accessing the old element to finish and \clnref{free}
emulates a \co{kfree()}.
-Either way, \co{r2} is set to the initial value of 1.
+Either way, \co{r2} is set to the initial value of~1.
\end{fcvref}
\begin{fcvref}[ln:formal:C-double-check-rcu-2:whole]
-\Clnrefrange{P1:b}{P1:e} operate in the same manner, but using element \co{b}
instead
-of \co{a}.
+\Clnrefrange{P1:b}{P1:e} operate in the same manner, but using element~\co{b}
instead
+of~\co{a}.
\Clnref{loc} displays all variables to ease debugging of the litmus test.
\Clnref{ex:1} verifies that both processes obtain an initialized value,
--
2.43.0
