Hi Paul,
Your latest commit 50c5b95d30bc ("defer/hazptr: Add discussion of
hazptr_free_later()") embeds a code snippet in .tex which can be
extracted from hazptr.c. My guess is it was easier for you to do so
rather than to tame fcvextract.pl to do what you wanted.
There is an option "gobbleblank=yes" to suppress blank/empty lines
from appearing in the resulting snippet. I couldn't help doing
it myself.
Patch #1 does the necessary changes in hazptr.c and embedding of
line labels.
Patch #2 is a trivial typo fix I noticed along the way.
If you encounter any conflict, please skip patch #1.
Patches #3 and #4 are the followup changes to formal/dyntickrcu,
including the addition of Linux kernel version info. Please refer to
the change log of patch #4.
Thanks, Akira
--
Akira Yokosawa (4):
defer/hazptr: Extract snippet from hazptr.c
defer/hazptr: Fix trivial typo
RCU.bib: Add entry of git commit of Tree RCU
formal/dyntickrcu: Adjust context and fix typo
CodeSamples/defer/hazptr.c | 77 +++++++++++++------------
bib/RCU.bib | 11 ++++
defer/hazptr.tex | 113 ++++++++++++-------------------------
formal/dyntickrcu.tex | 31 ++++++----
4 files changed, 108 insertions(+), 124 deletions(-)
--
2.17.1
