[PATCH] tools/memory-model: Fix a couple of typos

From: SeongJae Park
Date: Sun Aug 12 2018 - 01:29:55 EST


This commit fixes a couple of typos in README and recipies.txt.

Signed-off-by: SeongJae Park <sj38.park@xxxxxxxxx>
---
tools/memory-model/Documentation/recipes.txt | 2 +-
tools/memory-model/README | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/memory-model/Documentation/recipes.txt b/tools/memory-model/Documentation/recipes.txt
index a40802fa1099..29df496c1c77 100644
--- a/tools/memory-model/Documentation/recipes.txt
+++ b/tools/memory-model/Documentation/recipes.txt
@@ -311,7 +311,7 @@ The smp_wmb() macro orders prior stores against later stores, and the
smp_rmb() macro orders prior loads against later loads. Therefore, if
the final value of r0 is 1, the final value of r1 must also be 1.

-The the xlog_state_switch_iclogs() function in fs/xfs/xfs_log.c contains
+The xlog_state_switch_iclogs() function in fs/xfs/xfs_log.c contains
the following write-side code fragment:

log->l_curr_block -= log->l_logBBsize;
diff --git a/tools/memory-model/README b/tools/memory-model/README
index ee987ce20aae..73313faf4036 100644
--- a/tools/memory-model/README
+++ b/tools/memory-model/README
@@ -89,7 +89,7 @@ The corresponding output includes:
Observation SB+fencembonceonces Never 0 2000000
Time SB+fencembonceonces 0.16

-The "Positive: 0 Negative: 2000000" and the "Never 0 2000000" indicate
+The "Positive: 0, Negative: 2000000" and the "Never 0 2000000" indicate
that during two million trials, the state specified in this litmus
test's "exists" clause was not reached.

--
2.13.0