>From 7a614253ca281565945b077b75a463d44b698968 Mon Sep 17 00:00:00 2001 From: Akira Yokosawa <akiyks@xxxxxxxxx> Date: Mon, 7 Oct 2019 00:05:19 +0900 Subject: [PATCH 3/3] Define '\clnrefthro' for 'lines~m through~n' Use the macro in a matching pattern in dyntickrcu.tex Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx> --- Paul, I failed to update the title of this patch before generating the cover letter. This patch has the amended title. Manual submission of patches by a mailer helped this time. ;-) Please ignore the discrepancy of the titles. Thanks, Akira -- formal/dyntickrcu.tex | 2 +- perfbook.tex | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/formal/dyntickrcu.tex b/formal/dyntickrcu.tex index 7b7c3909..7f0c6ac2 100644 --- a/formal/dyntickrcu.tex +++ b/formal/dyntickrcu.tex @@ -293,7 +293,7 @@ void rcu_irq_exit(void) \Clnref{chk_flg} checks to see if the \co{rcu_update_flag} is non-zero, returning immediately (via falling off the end of the function) if not. -Otherwise, lines~\lnref{dec_flg} through~\lnref{vrf_even:e} come into play. +Otherwise, \clnrefthro{dec_flg}{vrf_even:e} come into play. \Clnref{dec_flg} decrements \co{rcu_update_flag}, returning if the result is not zero. \Clnref{verify} verifies that we are indeed leaving the outermost diff --git a/perfbook.tex b/perfbook.tex index 06019496..e40b1292 100644 --- a/perfbook.tex +++ b/perfbook.tex @@ -205,6 +205,8 @@ \newcommand{\Clnref}[1]{\clnrefp{#1}{Line}} \newcommand{\clnrefrange}[2]{lines~\lnref{#1}--\lnref{#2}} \newcommand{\Clnrefrange}[2]{Lines~\lnref{#1}--\lnref{#2}} +\newcommand{\clnrefthro}[2]{lines~\lnref{#1} through~\lnref{#2}} +\newcommand{\Clnrefthro}[2]{Lines~\lnref{#1} through~\lnref{#2}} \begin{document} -- 2.17.1