Received: by 2002:a05:6a10:1a4d:0:0:0:0 with SMTP id nk13csp692625pxb; Mon, 7 Feb 2022 23:37:50 -0800 (PST) X-Google-Smtp-Source: ABdhPJxfM+bFizVFc0mxclianClbSI6+z2H2jadsks6h6UrMcuvGC+puB7rKTu39o6Cd7v+xBGTo X-Received: by 2002:a17:907:2d14:: with SMTP id gs20mr2639955ejc.149.1644305870446; Mon, 07 Feb 2022 23:37:50 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1644305870; cv=none; d=google.com; s=arc-20160816; b=IH/y1bWmrgXfZ7PKQMqZC4dismfwRd2Y7VZS7Rtg7t0Db1jfuM8k+OVRbvPv3mF2dI 7+bwHK8NBSWFfQ45HYRsZhWIPhZwkHyRQgzXegA5guzgllx40nx0RPc6twheNwsalf5k 1HHsGCy9thsePqNIUlVSFOaEcp2AAkLZJ/Q/YT+rmgJX3fkss3sdUeaXkGQFTDgeytcv 2Vo39ImgQ7p0l6gkrFmsDolIMkNexiP382v/6ivzuJG8Wnlsu+b0uNiwbCB8522tY4i0 fntQsD7GOVBrLXKdy1spuSpsTA303nsEXJu2q4pzUtVAPv8qthnBocUtWZ9twdeBKW4w DPlQ== 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=4r4fwg2Jt/Ek25Xo6fonjBQ+D000c2reLDmY5W0tK0o=; b=wBdbgdd48NQp1HMFDH4ZyML9LmFTX6fd4AKexsT0K3LTqf7S7rLRKQnvC+vCwXiKw7 F+nD1Fb9jP7NAVT/U9cNFuNR17rJgqfyijMlZS32VRPKs4U8rqoDdHwidNFg1NAbVZ83 siBXXdoOQ21UWl5uzT0d2be8as7zi0b1ICUbINSUqNW2DqRAH6UKCNeOUDv6mfC+vjIq LHuvrD3vk/6m3rPqNUtqY7cX3jCaLUpLvrAhQQI7GP/yiCg4QVCjgXOr4SwU01yVc+5Q etFq10MJ3rVKxzspJp6hov2chjEc/AYwsXrRGT3OsLCPHBwA/3rUWf8Fqrw6YHK1ooku 18Ew== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@infradead.org header.s=desiato.20200630 header.b=duJXrWdN; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from out1.vger.email (out1.vger.email. [2620:137:e000::1:20]) by mx.google.com with ESMTP id oz42si8754250ejc.342.2022.02.07.23.37.25; Mon, 07 Feb 2022 23:37:50 -0800 (PST) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20; Authentication-Results: mx.google.com; dkim=pass header.i=@infradead.org header.s=desiato.20200630 header.b=duJXrWdN; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1377111AbiBGPvo (ORCPT + 99 others); Mon, 7 Feb 2022 10:51:44 -0500 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:60104 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1356919AbiBGPru (ORCPT ); Mon, 7 Feb 2022 10:47:50 -0500 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 C3740C0401C1; Mon, 7 Feb 2022 07:47:49 -0800 (PST) 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=4r4fwg2Jt/Ek25Xo6fonjBQ+D000c2reLDmY5W0tK0o=; b=duJXrWdNEv0Tx43zBxRsTH01w5 3+oOJtYgIj6WL2FZsDK+WDaK3EDmy3jtR8u8FwGAm4CiSYyHGzUQx/ZUyi+J18I48I5pHYmUI/9vF qIxLw0Bpyxjz/2If4gs9UXF59hJ7wuJE5YB4OpW7xj/9dtcFPM8ELwTYtN2ccXZmvqWyMl1IAbzrm y0PtkiG6jHSYjznbWBWdQekVumGySSPn4LLlA2NBQwqELo/1BNd1WhCgSbsmiCWRiG9AWFS0h86r4 7m4f4uJUD4c92Ivu0Gjeyp0yOSKy17IViVsq6twtC/2/DIcmHz43Z1YHfLOLAeQ6Umh48A1NQMcA7 n+HBe/zQ==; Received: from j217100.upc-j.chello.nl ([24.132.217.100] helo=worktop.programming.kicks-ass.net) by desiato.infradead.org with esmtpsa (Exim 4.94.2 #2 (Red Hat Linux)) id 1nH6Eu-007oGI-V1; Mon, 07 Feb 2022 15:47:41 +0000 Received: by worktop.programming.kicks-ass.net (Postfix, from userid 1000) id 2BE2E986235; Mon, 7 Feb 2022 16:47:39 +0100 (CET) Date: Mon, 7 Feb 2022 16:47:39 +0100 From: Peter Zijlstra To: Ondrej Mosnacek Cc: Ingo Molnar , Will Deacon , Waiman Long , Linux kernel mailing list , SElinux list Subject: Re: Semantics vs. usage of mutex_is_locked() Message-ID: <20220207154739.GH23216@worktop.programming.kicks-ass.net> References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: X-Spam-Status: No, score=-4.4 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_MED,SPF_HELO_NONE, SPF_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on lindbergh.monkeyblade.net Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Mon, Feb 07, 2022 at 04:15:27PM +0100, Ondrej Mosnacek wrote: > Also, any opinions on the name of the new helper? Perhaps > mutex_is_held()? Or mutex_is_locked_by_current()? lockdep_assert_held*() and friends work on mutexes just fine.