Received: by 2002:ac0:a582:0:0:0:0:0 with SMTP id m2-v6csp1125402imm; Tue, 2 Oct 2018 03:13:04 -0700 (PDT) X-Google-Smtp-Source: ACcGV63nsxuE/eeSPjFr4i9mUf38upMUfz5+UQnadohcWR6NCPR1HOxRceSQHAzSWwup5guwl8mv X-Received: by 2002:a17:902:f203:: with SMTP id gn3mr16065202plb.162.1538475184178; Tue, 02 Oct 2018 03:13:04 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1538475184; cv=none; d=google.com; s=arc-20160816; b=CidxwmxS6R4nfNf5q+9oYx8OY/DUeQ3ifdbXgi8HDGml/kqfvvPXiIj8sXQBeU6ps/ NmRqMzOz27a03NRjnnf/mQVHj9zoHNERyTq1wSMi1rypHl0BupfBPf7GeFOq/2qFUuY+ 5hvbUHMNcTVpiamNPLUYQE4PZI24DStCxsFOLMgIRJbA0FM/yTSzKiQgrRH0bmFR1BCD oNYKDKkuV8y8RK0ifsOWaZJ5W4OM9QiklSp9ST0zG7Ks2hhG2xeKgKjur8aJjlkHyG4D mGfJCy7nSeizyimwz1Q096cacGxCQFMi/CZmQZA3ZwGgmje6Cr7kMIeKLa+PgJCj3ozP YD1w== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:content-disposition :content-transfer-encoding:mime-version:robot-unsubscribe:robot-id :git-commit-id:subject:to:references:in-reply-to:reply-to:cc :message-id:from:date; bh=4hUWu80Z96BsOqxigMM+nb4hFyoXqJlwt2FVfhs5Eu4=; b=QAj7FRk71a+IKWUobr8PR9xrmbnQqhSzi5Z6J8dr4ob0aaXsFobxtWAP6rmGxIrFHj h8W2IH2yWY4Gur79+DSuNM2ofmYKS4INhsk7Oh8Qz7Ig7wQ4PrlXdwtL3a1GMb7USi2U PCjcWjGH7PJUu6YeX0GBpgEjWj1h8+0Q7yS/0LqfG9cX5zfJumpsJqHEAq2wS3y6lPmY irG6Pv58CIMEdxkaLAcOzUcU6QZColUwdjJzv976lipHJ8PwqmjAWEJ4kGoFzQmYrKYY AtWKT68rx95wmGQUdpsgrEBdmY9u1hGKVRWwYPsWFMLSk+BYFIAaLZKeDLrZ6pmPVMY1 pjwg== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id r13-v6si7581095pfb.43.2018.10.02.03.12.48; Tue, 02 Oct 2018 03:13:04 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1727125AbeJBQzE (ORCPT + 99 others); Tue, 2 Oct 2018 12:55:04 -0400 Received: from terminus.zytor.com ([198.137.202.136]:58483 "EHLO terminus.zytor.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726646AbeJBQzE (ORCPT ); Tue, 2 Oct 2018 12:55:04 -0400 Received: from terminus.zytor.com (localhost [127.0.0.1]) by terminus.zytor.com (8.15.2/8.15.2) with ESMTPS id w92ABjlV1916319 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO); Tue, 2 Oct 2018 03:11:45 -0700 Received: (from tipbot@localhost) by terminus.zytor.com (8.15.2/8.15.2/Submit) id w92ABjvf1916316; Tue, 2 Oct 2018 03:11:45 -0700 Date: Tue, 2 Oct 2018 03:11:45 -0700 X-Authentication-Warning: terminus.zytor.com: tipbot set sender to tipbot@zytor.com using -f From: tip-bot for SeongJae Park Message-ID: Cc: vincent.weaver@maine.edu, alexander.shishkin@linux.intel.com, paulmck@linux.vnet.ibm.com, acme@redhat.com, peterz@infradead.org, tglx@linutronix.de, torvalds@linux-foundation.org, linux-kernel@vger.kernel.org, eranian@google.com, mingo@kernel.org, hpa@zytor.com, sj38.park@gmail.com, jolsa@redhat.com, stern@rowland.harvard.edu Reply-To: acme@redhat.com, peterz@infradead.org, vincent.weaver@maine.edu, paulmck@linux.vnet.ibm.com, alexander.shishkin@linux.intel.com, jolsa@redhat.com, stern@rowland.harvard.edu, sj38.park@gmail.com, tglx@linutronix.de, linux-kernel@vger.kernel.org, mingo@kernel.org, eranian@google.com, torvalds@linux-foundation.org, hpa@zytor.com In-Reply-To: <20180926182920.27644-3-paulmck@linux.ibm.com> References: <20180926182920.27644-3-paulmck@linux.ibm.com> To: linux-tip-commits@vger.kernel.org Subject: [tip:locking/core] tools/memory-model: Fix a README typo Git-Commit-ID: 3d2046a6fa2106584cf1080c2c08a6e8e79cbbb4 X-Mailer: tip-git-log-daemon Robot-ID: Robot-Unsubscribe: Contact to get blacklisted from these emails MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset=UTF-8 Content-Disposition: inline X-Spam-Status: No, score=-0.8 required=5.0 tests=ALL_TRUSTED,BAYES_00, DATE_IN_FUTURE_96_Q,FREEMAIL_FORGED_REPLYTO autolearn=no autolearn_force=no version=3.4.2 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on terminus.zytor.com Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Commit-ID: 3d2046a6fa2106584cf1080c2c08a6e8e79cbbb4 Gitweb: https://git.kernel.org/tip/3d2046a6fa2106584cf1080c2c08a6e8e79cbbb4 Author: SeongJae Park AuthorDate: Wed, 26 Sep 2018 11:29:18 -0700 Committer: Ingo Molnar CommitDate: Tue, 2 Oct 2018 10:28:03 +0200 tools/memory-model: Fix a README typo This commit fixes a duplicate-"the" typo in README. Signed-off-by: SeongJae Park Signed-off-by: Paul E. McKenney Acked-by: Alan Stern Cc: Alexander Shishkin Cc: Arnaldo Carvalho de Melo Cc: Jiri Olsa Cc: Linus Torvalds Cc: Peter Zijlstra Cc: Stephane Eranian Cc: Thomas Gleixner Cc: Vince Weaver Cc: akiyks@gmail.com Cc: boqun.feng@gmail.com Cc: dhowells@redhat.com Cc: j.alglave@ucl.ac.uk Cc: linux-arch@vger.kernel.org Cc: luc.maranget@inria.fr Cc: npiggin@gmail.com Cc: parri.andrea@gmail.com Cc: will.deacon@arm.com Link: http://lkml.kernel.org/r/20180926182920.27644-3-paulmck@linux.ibm.com Signed-off-by: Ingo Molnar --- tools/memory-model/Documentation/recipes.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/memory-model/Documentation/recipes.txt b/tools/memory-model/Documentation/recipes.txt index af72700cc20a..7fe8d7aa3029 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;