Received: by 2002:a25:8b91:0:0:0:0:0 with SMTP id j17csp6680078ybl; Wed, 15 Jan 2020 08:29:50 -0800 (PST) X-Google-Smtp-Source: APXvYqwAVURJxerr1G7qI7FHg4i0FRGr0kLbjF7D77LrdheWql9YWw8zfGf2/tmJxTMQItCfi+ZF X-Received: by 2002:aca:c08b:: with SMTP id q133mr504624oif.46.1579105790548; Wed, 15 Jan 2020 08:29:50 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1579105790; cv=none; d=google.com; s=arc-20160816; b=A+ggu8SueYNMo7+U7+NwMtdwgODtxZsjgCU17eIoAEdQz/SjyWBg7LmUkcTZ3O5A2a yGB87hEFZ90ePKxLgvNRXCSioG7eCEZ76OQy7GN0u2y5Vwuffd1U2LgMtNZDZmijxldW Zw5qSMUSXzGepOhbb+ZRyenMb2z8npslXewj4gxtkAtoTvgzL3xPyi9o1YeOprgOK2y2 pMsWIqTnYvC9SlBs70F0VAVvaf4pKy6vrchr8Ohh/ijTDQqX1+lwrW4hRQU2CdBcrw9D HkA8Z4dsPZd1qJvMnUjzdpZbVx7p3CcFsMmYpPJhbA452iVrIGWRzK2S85GdiUPjxtdO wYiw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:dkim-signature; bh=J/jN6ywbZWrd/e8wYUMEIXDZGBzSANaQq7yRDAP83uc=; b=Hbk+Q/wNNC7u6dEx8QCk4zQDXD1396OJvpOnHVSWcMiJGMFORmSzeB9raASdXFxUGq Um48PW3hsefE3JILbW9XbCLjA718N/iFA9a9Z8N7F2XXgvZkmMmhjSlvh7WGTdaR8fIC gqEmsu0CQ6Ek40p6dxGPS4zkCMwKvaro2g5Lq/bdgX/sHd62ZTQa31WDoZAGxtq0Mi1A eiw0wIlFGW55dx+0K8x1We4+1Rhm45M8cj9vVxz/UTW9N6OVDBvU7pb+fbygDarypQm3 pHutBM+YzZmCUw9O5uDL5YOe+VNdm2XYDprpxGUF34S47r9Bs7bjNAli+vJNYb015bRl NvJg== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@google.com header.s=20161025 header.b="B/+xH4/E"; 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; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=google.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id z1si11182745otq.21.2020.01.15.08.29.38; Wed, 15 Jan 2020 08:29:50 -0800 (PST) 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=@google.com header.s=20161025 header.b="B/+xH4/E"; 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; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=google.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1729154AbgAOQ1I (ORCPT + 99 others); Wed, 15 Jan 2020 11:27:08 -0500 Received: from mail-oi1-f178.google.com ([209.85.167.178]:38210 "EHLO mail-oi1-f178.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726550AbgAOQ1H (ORCPT ); Wed, 15 Jan 2020 11:27:07 -0500 Received: by mail-oi1-f178.google.com with SMTP id l9so15927386oii.5 for ; Wed, 15 Jan 2020 08:27:07 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=J/jN6ywbZWrd/e8wYUMEIXDZGBzSANaQq7yRDAP83uc=; b=B/+xH4/Eyp1dZWuwN1qXlcnEbTiaIUXw/zmnO4Y6MoV4k/4b2iNTvNyaZhqAM4CGtq fHJeB+YOuhn5WfoFBtoRru9xTPQ4PajJiJnSKedbVonXe95HUhzEDuqWwhOaoOgn81iM LHecuREADg4u5m7mmnxYjFqU6qv+PQb8lOeFEhBPuBEfQicxP66s9nx84LROlbjNswRa OG3z6Z+Pm4p/eVq6bLaqSf4Nkok7ohkH9mmGEHduPOLkd+QDnK1i54BEQg8Nond9vTcF ZBPasnleuQA3UsLlu2TgysfoVVYD5jzO2gbt0PKpty8q+NjriD3JDjX7IOxf+RYUYVQi aC5g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=J/jN6ywbZWrd/e8wYUMEIXDZGBzSANaQq7yRDAP83uc=; b=USumyuHrwnfIt8G21YwtElcosqPHwt/qvHVRIztFxBsjmDWZLXe6rBry6bJ87BmrFV v04R8Cz++E/go12exh3/Sjj1B7gP058UuwmoJUBz2GL24kebQ+lGYRm1egFfDUITkBqi 7RcdEj1M5AUjkNLISs7muxV/jgVfWmiLy8C/uGAsphMvqtSJIRd6ETeqk9qARhVYngw5 uBcVg8RLR5VUK5id1IAnp/LvoEMC/ox2hUIH3v/Bg22jm9uc61F1eSWFuB1U/zCe/rHh 6NYkRYh92NikWejbuvNyWi1wfZoEfOg6wtbEzCxCJabMI7Y8O75JuXUJGXfmMqCfgeK4 gsCw== X-Gm-Message-State: APjAAAXSoaJcLDaG0lH0xRlJciuO7ArT1NG4EoZPR8sPyJV6GzGxw6Qm TLQptupgTyY+aE411G/wwVrWvOGgFbVyndkuLioLVw== X-Received: by 2002:aca:36c1:: with SMTP id d184mr501516oia.70.1579105626648; Wed, 15 Jan 2020 08:27:06 -0800 (PST) MIME-Version: 1.0 References: <20200114124919.11891-1-elver@google.com> In-Reply-To: From: Marco Elver Date: Wed, 15 Jan 2020 17:26:55 +0100 Message-ID: Subject: Re: [PATCH -rcu] kcsan: Make KCSAN compatible with lockdep To: Alexander Potapenko Cc: "Paul E. McKenney" , Andrey Konovalov , Dmitriy Vyukov , kasan-dev , LKML , Peter Zijlstra , Ingo Molnar , Will Deacon , Qian Cai Content-Type: text/plain; charset="UTF-8" Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Tue, 14 Jan 2020 at 18:24, Alexander Potapenko wrote: > > > --- a/kernel/kcsan/core.c > > +++ b/kernel/kcsan/core.c > > @@ -337,7 +337,7 @@ kcsan_setup_watchpoint(const volatile void *ptr, size_t size, int type) > > * detection point of view) to simply disable preemptions to ensure > > * as many tasks as possible run on other CPUs. > > */ > > - local_irq_save(irq_flags); > > + raw_local_irq_save(irq_flags); > > Please reflect the need to use raw_local_irq_save() in the comment. > > > > > watchpoint = insert_watchpoint((unsigned long)ptr, size, is_write); > > if (watchpoint == NULL) { > > @@ -429,7 +429,7 @@ kcsan_setup_watchpoint(const volatile void *ptr, size_t size, int type) > > > > kcsan_counter_dec(KCSAN_COUNTER_USED_WATCHPOINTS); > > out_unlock: > > - local_irq_restore(irq_flags); > > + raw_local_irq_restore(irq_flags); > > Ditto Done. v2: http://lkml.kernel.org/r/20200115162512.70807-1-elver@google.com Thanks, -- Marco