Received: by 10.192.165.156 with SMTP id m28csp1896145imm; Thu, 12 Apr 2018 05:30:39 -0700 (PDT) X-Google-Smtp-Source: AIpwx49j0rUPZkkMoYzlm9zF+DCgpnczLWjjFJ2b3lnlW424ivwAyX1cf2fxhkYeAt5uZPsOsO/O X-Received: by 10.99.131.73 with SMTP id h70mr550438pge.195.1523536239448; Thu, 12 Apr 2018 05:30:39 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1523536239; cv=none; d=google.com; s=arc-20160816; b=oDSEEAuz4QJOqUlZ7NqFyi0lNV6UH1QHb5tvbckun+zvJSSTdl1OrsPh/s+LAetQiK MNdUuwQJwC/GxaSjgeauZlQT2p8nhZOyOl8nJE8ktEq3fEyx7IakBuonlR0zZsbjSxyC RLwlAVapp5nUIEcT2ICl85ya7ivBWU4U2WmuoaHsiHJNaMZX40fDQ6+udhoczL0smDh0 kaGUaJEuM0A91ONR7sdhSxxmsuDjzHxmQoUic3oc0RuimLDO0NBWqfi/R74rqFzKPK/8 M9F9sdmwHYGtjADKiZxf14IeWQeiwLDtszha0JfF2sCXxtOH+K2zs9NrCtxEFq5T1+P6 totQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:message-id:date:subject:cc:to:from :dkim-signature:arc-authentication-results; bh=/NdVmWu6rJ9r0UPmyu0FB4VSyxBnvW5hq9PYwpWraDY=; b=aO88OhG1bHGLIBExv8egqOH+XLHEvmhE0qFr+ssalmwoXa1M6RMcIW1fZuWicu4nj3 MQJJlqps73V92HwZLkpwd5FhgoIc1tqGEI/xqct49gjuUmprRHebE+63xDFOJp/Js5Nr d4TRBW1eqI5YuyxPAB4dIosaW/JvDzujHWTP60EdJVejnrnWfnXezdjfXyhHBGfCkEtK QKKzb+p6PeFTzp48iHy6zelqn499OEJxI4dLQIfBcvQQBMZ0CDPVLQ6Y9v1oGhyGUpgr wKY5jyRA6DGSgWICtZ3Zkd1TWIg9Wb7DoyKfG/AkxOyI9tVs50Vu6L5MqMIfeLMuwpmV uv5w== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@amarulasolutions.com header.s=google header.b=IZz7/+VS; 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 b3-v6si3168779pla.505.2018.04.12.05.30.02; Thu, 12 Apr 2018 05:30:39 -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; dkim=pass header.i=@amarulasolutions.com header.s=google header.b=IZz7/+VS; 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 S1752788AbeDLMXf (ORCPT + 99 others); Thu, 12 Apr 2018 08:23:35 -0400 Received: from mail-wr0-f195.google.com ([209.85.128.195]:45453 "EHLO mail-wr0-f195.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752125AbeDLMXd (ORCPT ); Thu, 12 Apr 2018 08:23:33 -0400 Received: by mail-wr0-f195.google.com with SMTP id u11so4904899wri.12 for ; Thu, 12 Apr 2018 05:23:33 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=amarulasolutions.com; s=google; h=from:to:cc:subject:date:message-id; bh=/NdVmWu6rJ9r0UPmyu0FB4VSyxBnvW5hq9PYwpWraDY=; b=IZz7/+VSBc4LhMxGAv/m61IsDgN+iJeoyd03XHtqMkRTGWHegsq/h5jaGvjn4ep5Lt qk4MsTX198TNv9SzDHjoQsziCMnJH4edqQ6E3C4l8zic1M8OdJUDvw8D/bB6uBIWJswa FUaR8FmAC4xcDZnfVk9W96ehqtvMy/orJ9YJ4= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id; bh=/NdVmWu6rJ9r0UPmyu0FB4VSyxBnvW5hq9PYwpWraDY=; b=g41a4W/w4TUXTFEWWgAMa1hnz8kRnJYgua7jpRyTS5H2sI0WARky+6VNzhmlAQ2QIK PfVu8d1BG61J3DOrm+VyiZ1+4X4mVS1pBDH33wsWdHfHMH7sctDKFg7eJfZ36JB+GSns aJ/65HSzVVlqb5QeTPOdA2YfvuU3TaF6tWYf6Xsqv2q/3onrrDMBMB5JruKy0TEh0+9m G9QOdibDDeBEKHjAIJU58BAtZ9I9SI+P55Hq9bvLG/gqyGO2FO561QPUFndzfFclTnrX EgYvSPCcUlOhmlj85iJ1ZWWmAqdAdwaWR03MyhaLora8pCFqLtDbvt5iboSsYAJxAFB6 Kbgw== X-Gm-Message-State: ALQs6tBBPj7QzL43nmVsQ1S0tly21C+QNsNfRRDRWCw/yXG62ggULPxl IJhFWOoYA/msfsDRAzYrO/4DeChi X-Received: by 10.223.133.69 with SMTP id 63mr616238wrh.125.1523535812523; Thu, 12 Apr 2018 05:23:32 -0700 (PDT) Received: from localhost.localdomain ([213.209.242.222]) by smtp.gmail.com with ESMTPSA id 39sm6548870wry.89.2018.04.12.05.23.30 (version=TLS1_2 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Thu, 12 Apr 2018 05:23:31 -0700 (PDT) From: Andrea Parri To: linux-kernel@vger.kernel.org Cc: Alan Stern , Will Deacon , Peter Zijlstra , Boqun Feng , Nicholas Piggin , David Howells , Jade Alglave , Luc Maranget , "Paul E . McKenney" , Akira Yokosawa , Paolo Bonzini , Andrea Parri Subject: [PATCH 0/2] tools/memory-model: Model 'smp_store_mb()' Date: Thu, 12 Apr 2018 14:22:48 +0200 Message-Id: <1523535770-10781-1-git-send-email-andrea.parri@amarulasolutions.com> X-Mailer: git-send-email 2.7.4 Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Hi, This (tiny) series adds 'smp_store_mb()' to the model (patch 1/2), and it fixes a stylistic discrepancy in 'linux-kernel.def (patch 2/2). Cheers, Andrea Andrea Parri (2): tools/memory-model: Model 'smp_store_mb()' tools/memory-model: Fix coding style in 'linux-kernel.def' tools/memory-model/linux-kernel.def | 29 +++++++++++++++-------------- 1 file changed, 15 insertions(+), 14 deletions(-) -- 2.7.4