Received: by 2002:a05:6a10:d5a5:0:0:0:0 with SMTP id gn37csp4641268pxb; Tue, 5 Oct 2021 07:23:49 -0700 (PDT) X-Google-Smtp-Source: ABdhPJxPPvlsUsSLF/qQVxQVH9LnURrOns1lvSz6gcRGgWmIQweok9MrYxJ1V4PpUzE2xwbG6KSW X-Received: by 2002:a63:2a92:: with SMTP id q140mr15923662pgq.412.1633443829379; Tue, 05 Oct 2021 07:23:49 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1633443829; cv=none; d=google.com; s=arc-20160816; b=mfocFLspZ5I/JWlS6/4F9S9mvf0Ps4K8BjJuQKQLV0cM2XEc0EGv9osi0SpeXCTtRy +fZysIp6JQBe3jX2XvLO2Pm6DI2e+b5G7rosQKbcCcoVx/ZU98tkrcW7bxAAjJANPYIl bnOawiNmqVPEHE4aPz0JeL2oxMEFPn4mt32m/FSL+z49/3k7/Bj1VIjW01xoF9KIkU5u BgCYCIXhSduvZW/pByfEJWvb/2FzguT+ZepOjRqkeYc/QNqfUb7iX8EKDpekQw51kCUu 2R1nkvxaVAHd6FLuAvq6DRZRJE0oDp8Y+VzKXe0F783c0vtu4gElJ0PNUdrHNiIoGBOo 0Nzg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:in-reply-to:content-disposition:mime-version :references:message-id:subject:cc:to:from:date:dkim-signature; bh=9cd4fflbhPi+WS75BLlYH8Lxr29xEplX+5DiCepdM6M=; b=0x/NGjKLMV5hQ4hWPXno7UOZdu91eOlA7c+Yu9lrFJY5LLceMvTRUW8jGkLo6KFC6X yakQ7gY6wC7iYvTlswkp0a8j3i9sPlvo8ZJIuOWndxp57EqIa9vr70xNyHnMXqVDuw4e zdQOMG8RxnnTAcMr66XJAuTiLasRJE/bO0kh6AE0BQmDBzc2Hi4t5b8M2e79zMn48UWR X01roMBox+gbugbBPGcengINANfB0bVi6RCjiVkZdho+poTHd2nOEWllhJR5W6+YeSsm fIhWbYu2MHN8DVhw/MKYI7h2kckkSSpr/cETF4fn7mM5+gm6Tz6+R0YmEZM+ET6xtPf2 t4yw== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@infradead.org header.s=desiato.20200630 header.b=OnNnDZAK; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id d16si7340490plh.456.2021.10.05.07.23.34; Tue, 05 Oct 2021 07:23:49 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; dkim=pass header.i=@infradead.org header.s=desiato.20200630 header.b=OnNnDZAK; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S235921AbhJEOWr (ORCPT + 99 others); Tue, 5 Oct 2021 10:22:47 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:43184 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S235294AbhJEOWp (ORCPT ); Tue, 5 Oct 2021 10:22:45 -0400 Received: from desiato.infradead.org (desiato.infradead.org [IPv6:2001:8b0:10b:1:d65d:64ff:fe57:4e05]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 33077C061749; Tue, 5 Oct 2021 07:20:55 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=infradead.org; s=desiato.20200630; h=In-Reply-To:Content-Type:MIME-Version: References:Message-ID:Subject:Cc:To:From:Date:Sender:Reply-To: Content-Transfer-Encoding:Content-ID:Content-Description; bh=9cd4fflbhPi+WS75BLlYH8Lxr29xEplX+5DiCepdM6M=; b=OnNnDZAKK+pQ6EIA+ZWx48Di7m tMp2OUnjS87vId8Dy0d5hZTjGs7cBq59swnhV9JCKGUAzFnr4WwA+9tlVSLgeXL/JLufkRzubC33Q 2l6MC4iBv8AJKNMMFJIyUSiJGVQMVoVnkPXvew12mA05UqHbUmiSw5/xcYTn8smG0rJ7m4vpEQQri uJzZ1wwm3TM8a92IqmGWFaJB9LOc9VPHqCAvbTIjN2+tUGfSHPwL5UelwKcDGytuynF2iS4WBAAmX cYg84BxxaLFmdMUPQ4PYoo8sij9dMymbE4t8KP5tgclSAt9k3YtZPnwReEUI5PfzlKFGo4C/q161H qyQQ4eEw==; Received: from j217100.upc-j.chello.nl ([24.132.217.100] helo=noisy.programming.kicks-ass.net) by desiato.infradead.org with esmtpsa (Exim 4.94.2 #2 (Red Hat Linux)) id 1mXlJ8-0083tX-1Y; Tue, 05 Oct 2021 14:20:38 +0000 Received: from hirez.programming.kicks-ass.net (hirez.programming.kicks-ass.net [192.168.1.225]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits)) (Client did not present a certificate) by noisy.programming.kicks-ass.net (Postfix) with ESMTPS id 28D5230003C; Tue, 5 Oct 2021 16:20:37 +0200 (CEST) Received: by hirez.programming.kicks-ass.net (Postfix, from userid 1000) id 100B321339B6B; Tue, 5 Oct 2021 16:20:37 +0200 (CEST) Date: Tue, 5 Oct 2021 16:20:37 +0200 From: Peter Zijlstra To: Marco Elver Cc: "Paul E . McKenney" , Alexander Potapenko , Boqun Feng , Borislav Petkov , Dmitry Vyukov , Ingo Molnar , Josh Poimboeuf , Mark Rutland , Thomas Gleixner , Waiman Long , Will Deacon , kasan-dev@googlegroups.com, linux-arch@vger.kernel.org, linux-doc@vger.kernel.org, linux-kbuild@vger.kernel.org, linux-kernel@vger.kernel.org, linux-mm@kvack.org, x86@kernel.org Subject: Re: [PATCH -rcu/kcsan 04/23] kcsan: Add core support for a subset of weak memory modeling Message-ID: References: <20211005105905.1994700-1-elver@google.com> <20211005105905.1994700-5-elver@google.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Tue, Oct 05, 2021 at 03:13:25PM +0200, Marco Elver wrote: > On Tue, 5 Oct 2021 at 14:53, Peter Zijlstra wrote: > > And since you want to mark these functions as uaccess_safe, there must > > not be any tracing on, hence notrace. > > In the Makefile we've relied on: > > CFLAGS_REMOVE_core.o = $(CC_FLAGS_FTRACE) > > just to disable it for all code here. That should be enough, right? I find these implicit notrace thingies terribly confusing :/ I've reported fail to rostedt a number of times only to be (re)told about these Makefile level thingies. Ideally we'd script notrace on every implicit symbol or something.