>From 9f0e3855ed4b366167248ae8a4398920c8ac3a40 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@xxxxxxxxx>
Date: Fri, 27 Sep 2019 21:58:20 +0900
Subject: [PATCH 4/6] ppcmem: Cite Git commit of PowerPC atomic_xxx_return fix
Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
---
formal/ppcmem.tex | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/formal/ppcmem.tex b/formal/ppcmem.tex
index a5cb90e3..d292b7da 100644
--- a/formal/ppcmem.tex
+++ b/formal/ppcmem.tex
@@ -322,7 +322,8 @@ cannot happen.
ARM does not have this particular bug because that it places
\co{smp_mb()} before and after the \co{atomic_add_return()}
function's assembly-language implementation.
- PowerPC no longer has this bug; it has long since been fixed.
+ 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
--
2.17.1
