>From 6442399eab974be84927a3b57d34f31de7e81700 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@xxxxxxxxx>
Date: Fri, 27 Sep 2019 22:05:08 +0900
Subject: [PATCH 6/6] ppcmem: Move final sentence of Answer to QQZ 12.27 to the next
Given the added Quick Quiz, this sentence looks better fitted in
the next one.
Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
---
formal/ppcmem.tex | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/formal/ppcmem.tex b/formal/ppcmem.tex
index a1960e2d..dff0b0b2 100644
--- a/formal/ppcmem.tex
+++ b/formal/ppcmem.tex
@@ -324,8 +324,6 @@ cannot happen.
function's assembly-language implementation.
PowerPC no longer has this bug; it has long since been
fixed~\cite{BenjaminHerrenschmidt2011:powerpc:atomic_return}.
- Finding any other bugs that the Linux kernel might have is left
- as an exercise for the reader.
} \QuickQuizEnd
\QuickQuiz{}
@@ -344,6 +342,8 @@ cannot happen.
\cite{BoqunFeng2015:powerpc:value-returning-atomics}
as a result of an email thread on a couple of other litmus
tests~\cite{Paulmck2015:powerpc:value-returning-atomics}.
+ Finding any other bugs that the Linux kernel might have is left
+ as an exercise for the reader.
} \QuickQuizEnd
\subsection{PPCMEM Discussion}
--
2.17.1
