This commit fixes a couple of typos in README and recipies.txt. Signed-off-by: SeongJae Park <sj38.p...@gmail.com> --- 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