From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-0.8 required=3.0 tests=HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS autolearn=no autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id E1BFAC2D0DB for ; Mon, 20 Jan 2020 14:40:44 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.kernel.org (Postfix) with ESMTP id BE76920882 for ; Mon, 20 Jan 2020 14:40:44 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1727688AbgATOko (ORCPT ); Mon, 20 Jan 2020 09:40:44 -0500 Received: from mout.kundenserver.de ([212.227.126.130]:48971 "EHLO mout.kundenserver.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726860AbgATOkn (ORCPT ); Mon, 20 Jan 2020 09:40:43 -0500 Received: from mail-qt1-f169.google.com ([209.85.160.169]) by mrelayeu.kundenserver.de (mreue011 [212.227.15.129]) with ESMTPSA (Nemesis) id 1MtwIW-1jlNEj1lTI-00uJVG; Mon, 20 Jan 2020 15:40:41 +0100 Received: by mail-qt1-f169.google.com with SMTP id j5so27789296qtq.9; Mon, 20 Jan 2020 06:40:41 -0800 (PST) X-Gm-Message-State: APjAAAWWUVkvHT5TfZgy52jq18mGWJidgpkgXO8XYKDc1PwZsNlzwDuU 18tTSXq324HgXJIBJotCKHCSk4/WZQHuBN8OX1o= X-Google-Smtp-Source: APXvYqwlJD70ajHpB5Hah/6j7f+OlCjqmONfTPtRbJ4dpF1nsMv085cDc0EQwsp/ZRY/JU1VKqkOA190gl56WM/HXj0= X-Received: by 2002:ac8:709a:: with SMTP id y26mr20880033qto.304.1579531240224; Mon, 20 Jan 2020 06:40:40 -0800 (PST) MIME-Version: 1.0 References: <20200115165749.145649-1-elver@google.com> In-Reply-To: From: Arnd Bergmann Date: Mon, 20 Jan 2020 15:40:24 +0100 X-Gmail-Original-Message-ID: Message-ID: Subject: Re: [PATCH -rcu] asm-generic, kcsan: Add KCSAN instrumentation for bitops To: Marco Elver Cc: "Paul E. McKenney" , Andrey Konovalov , Alexander Potapenko , Dmitry Vyukov , kasan-dev , "linux-kernel@vger.kernel.org" , Michael Ellerman , christophe leroy , Daniel Axtens , linux-arch Content-Type: text/plain; charset="UTF-8" X-Provags-ID: V03:K1:PtJv3kaT6WeF8q47kRkJGHyTOmhr/ZA6iNqmXick9+yEcmYcF6o 1K5RtCoZ1qawiPjEgEKA8Pj28VueEwQp/mWQRT1hd/fgBS55lJkdu6hRN17llosEwVYd5Qh ncOQAQXQ+BZDg5ehmF5RTm5k5vVB9XkmVYlI18yFv/5IToCHTcTQ8k4EAVQaEXJZOo/mbac i0AMsiTFj6Edx8/bw1gtg== X-UI-Out-Filterresults: notjunk:1;V03:K0:X7jY2ZKncM8=:eWcXadgB+KBESQgs1iA7Ja 0Po822eZ56ugoG1YILUf1MCwkdWT3rTqwM9wvolRj2R2G6b7AeibEZ7GTZvaGpj1daqkbouad mToZozQE+Qy7IzjsH7bvBPjHHZWIaG915AIFcgr5Mnz5XVEG0SafLJgLCIwBCLfKeKZHZj/jn S+1xzjNgr/wmWqoemMemTW2e0ObuG2jyRW3cUQQ+0hEgVQyfezftpauWsypJ3cqftRA3TZGbX od4vmTDrtMkHFGwek881jnrc1vXUY7B3nVy/+VeKvXbJ0xHc+ebpJ8m1yt+dwJeAd0WgcTVi0 jBu7Gp9ZS2aIg1W9hs7q9a/cjt81T8GGbJDx0tj5E83O7W/VbAuGXYSlC0XQUrrDwfII+kwgI Mh4X0U7D8O4ZzLgFPDqws9tp5R2lNAqdjmaVeuVfaArFxJXMXqCcElRXHIIl7XazxJr/Y4wmz zpEWKMfcrAYB7HNIonb6vqegzQn+FWTJBsxOF9ug0SUPMkf5U+4gg6fef26XoIyimCUvxLPw8 mmyiPOGsSi/karTyXbTwc9woz6pFvE6upBp6X3v1iOZLFAUVz/HdXo9I6alN3lBWZz26Gh1A/ bQagIwaxUj79gIVXTommcmGMon/hWYAMHfTYQCCF1Bl5IwmHiu0814k+UIwgj4+NrxKCoAtFY brTM9Qx2tI6vVKKaR81wmr7LwjjISdhHkdDe1gMrlshEyZjwAo8wESJyHJ+JXMgiuoZ9Cf/mq ub0pmb6V6zGJUwmh9IW3KrWBevwm9gTLSB9sDmjCoPZ0+6NjlUJxk315I3Sk3RViCdtLxXOBl zfbOuqy6n8IL0Y55ygvLeGZe5irRsboHSDuw/MbPQpZwPnSDt46w/z6xKJOhILbmxv97RCwrw Oh906AwY6p5DF6xJdAVA== Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Mon, Jan 20, 2020 at 3:23 PM Marco Elver wrote: > On Fri, 17 Jan 2020 at 14:14, Marco Elver wrote: > > On Fri, 17 Jan 2020 at 13:25, Arnd Bergmann wrote: > > > On Wed, Jan 15, 2020 at 9:50 PM Marco Elver wrote: > > > If you can't find any, I would prefer having the simpler interface > > > with just one set of annotations. > > > > That's fair enough. I'll prepare a v2 series that first introduces the > > new header, and then applies it to the locations that seem obvious > > candidates for having both checks. > > I've sent a new patch series which introduces instrumented.h: > http://lkml.kernel.org/r/20200120141927.114373-1-elver@google.com Looks good to me, feel free to add Acked-by: Arnd Bergmann if you are merging this through your own tree or someone else's, or let me know if I should put it into the asm-generic git tree. Arnd