[PATCH -perfbook 2/2] formal: Mention code move of kvfree_rcu() happened in Linux v6.14

Decrease of LoC in v6.14 wants some comment.

Signed-off-by: Akira Yokosawa <[email protected]>
---
 bib/RCU.bib       | 9 +++++++++
 formal/formal.tex | 2 ++
 2 files changed, 11 insertions(+)

diff --git a/bib/RCU.bib b/bib/RCU.bib
index 9ec242e6..3ba2b11e 100644
--- a/bib/RCU.bib
+++ b/bib/RCU.bib
@@ -3539,3 +3539,12 @@ series = {SPAA '20}
  day="27",
  note="\url{https://bitbashing.io/gc-for-systems-programmers.html}",
 }
+
+@unpublished{20241212180208.274813-1-urezki,
+ Author="Uladzislau Rezki",
+ Title="{[PATCH v2 0/5] Move kvfree\_rcu() into SLAB (v2)}",
+ year="2024",
+ month="December",
+ day="12",
+ note="\url{https://lore.kernel.org/[email protected]/}",
+}
diff --git a/formal/formal.tex b/formal/formal.tex
index 4348aacb..9a3b20dc 100644
--- a/formal/formal.tex
+++ b/formal/formal.tex
@@ -375,6 +375,8 @@ which was successful in locating a number of race conditions.\footnote{
 	pairs of vCPUs
 	(\url{https://paulmck.livejournal.com/62071.html}).}
 Linux kernel v5.17 removed the \co{RCU_FAST_NO_HZ} Kconfig option.
+Linux kernel v6.14 moved \co{kvfree_rcu()} into SLAB (in
+\path{mm/slab_common.c})~\cite{20241212180208.274813-1-urezki}.
 Numerous other changes may be found in the Linux kernel's \co{git} archives.
 % rcutorture
 % v2.6.15: First torture test
-- 
2.34.1