Received: by 2002:a05:7412:7c14:b0:fa:6e18:a558 with SMTP id ii20csp362738rdb; Mon, 22 Jan 2024 06:39:09 -0800 (PST) X-Google-Smtp-Source: AGHT+IHHVESh4xAq8kT7mh9nyXuMxKvJue9CTGtowgrzpnfmmErTUILC7Di/HMAOMPFaOwCZuwPc X-Received: by 2002:a05:6359:428e:b0:175:d336:de3b with SMTP id kp14-20020a056359428e00b00175d336de3bmr4682185rwb.30.1705934348816; Mon, 22 Jan 2024 06:39:08 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1705934348; cv=pass; d=google.com; s=arc-20160816; b=yxM38mBG4Y31quPDyjThW/kKOR3P5x48Wt9VK3G8nLTyDLieCVT25E2Zlvn2Xo4g9D ajWd6Wy52gQFdSn5NzT+7iDFR7K4gT9q+1f/YiAWAm9RVmb5gHPVnLWuA8NpKN94k4uf 3OubdCNJw3UTpXrE9N3ImGvs+hM4h/MJinGBc235yjTnIkD4yHSwYl5u82Zebcn8TRJR GRygmlXNEG06GRb3Dh7Y3CCm6GghwV4VKBVRLTVVb6ixT32xBee4k/v6gigxrLZ0f0ez mYQ+k4O3lnLyFk9dM5/uQVKLAsgIDw/0uWpJDZmFaxGltnxTAXzCM9KAld/vR4yikLRS sDHw== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:list-unsubscribe:list-subscribe:list-id:precedence :user-agent:message-id:in-reply-to:date:references:subject:cc:to :from:dkim-signature; bh=aGmuBj0ohF8FzDFwyMT+qYevSXqdNCTr1Rc2OqsYyGc=; fh=/o+MP+azZP68dmI/LOIydU6yMxZXrCimtK3Fz+r16+w=; b=hvBRruFSMaEf3LNdr/IlfDda+zIeN9ZwAkYeu3V3qKVpgiPulY5daFLxjw8UKgjaZN 7LoFSa7oKkTTU6CxFzGUolnBCnYZIFVtvl8OIkkvO7YTfi8KWbKVxYRsSmnsHPtxkf7A 7buqZKCY6UtaKwgIQR/WAuuaestIKSQwXFVQIdFsw4vd8buwIHLavyC/mqN69JFlmTx1 7dYBDIWOgGSTZn31GA4pStFfU3/TWEDYDf+iHKP2A+YkWoplovTJsIc01R+rSwQp1oY7 kf33olTB/w+PAqJR57RDlv0mRdjYvzCplDA0DGBjwViX8u/B+voXAxI85KXaWqokEYEL Dh8w== ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@kernel.org header.s=k20201202 header.b=muiakLok; arc=pass (i=1 dkim=pass dkdomain=kernel.org); spf=pass (google.com: domain of linux-wireless+bounces-2330-linux.lists.archive=gmail.com@vger.kernel.org designates 139.178.88.99 as permitted sender) smtp.mailfrom="linux-wireless+bounces-2330-linux.lists.archive=gmail.com@vger.kernel.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Return-Path: Received: from sv.mirrors.kernel.org (sv.mirrors.kernel.org. [139.178.88.99]) by mx.google.com with ESMTPS id g22-20020a635656000000b005cdfed45ee3si8074177pgm.794.2024.01.22.06.39.08 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 22 Jan 2024 06:39:08 -0800 (PST) Received-SPF: pass (google.com: domain of linux-wireless+bounces-2330-linux.lists.archive=gmail.com@vger.kernel.org designates 139.178.88.99 as permitted sender) client-ip=139.178.88.99; Authentication-Results: mx.google.com; dkim=pass header.i=@kernel.org header.s=k20201202 header.b=muiakLok; arc=pass (i=1 dkim=pass dkdomain=kernel.org); spf=pass (google.com: domain of linux-wireless+bounces-2330-linux.lists.archive=gmail.com@vger.kernel.org designates 139.178.88.99 as permitted sender) smtp.mailfrom="linux-wireless+bounces-2330-linux.lists.archive=gmail.com@vger.kernel.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Received: from smtp.subspace.kernel.org (wormhole.subspace.kernel.org [52.25.139.140]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by sv.mirrors.kernel.org (Postfix) with ESMTPS id 6FBFA284CCE for ; Mon, 22 Jan 2024 14:39:08 +0000 (UTC) Received: from localhost.localdomain (localhost.localdomain [127.0.0.1]) by smtp.subspace.kernel.org (Postfix) with ESMTP id A93033D554; Mon, 22 Jan 2024 14:39:04 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=kernel.org header.i=@kernel.org header.b="muiakLok" X-Original-To: linux-wireless@vger.kernel.org Received: from smtp.kernel.org (aws-us-west-2-korg-mail-1.web.codeaurora.org [10.30.226.201]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 7F28B3D550; Mon, 22 Jan 2024 14:39:04 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=10.30.226.201 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1705934344; cv=none; b=T6fgjD6f9sRmARHiNejP43EqbJxgbzMh4kyyUUUtpN5uA8kH7oiH8Ld0pQuDdtrn5JT1QHLlrC/WFc/fgwXe0lxMfE8a1oBerjQMJRFgXrC2YTHk9XB0G1o5Znd8NlhVmDSuu1vHECGVYbPXfHFlRImWJOdfc8Dp5aBEVAqmMc8= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1705934344; c=relaxed/simple; bh=YSUNPwoWfGMmfWKPSAXl0wleuODMangCwpYPqnFnaIs=; h=From:To:Cc:Subject:References:Date:In-Reply-To:Message-ID: MIME-Version:Content-Type; b=gDDP/Kh9qOwpzx5lzfsBhuh4UdnvUkk8BqTtQ31lRnCzbjNByBacRWzaSDhpJ6qbtoQfjeepSLitLgpgx2BSisYSLm4BqmJdye27RyEF9+a90hS9jGhqtUBG93x1q0dXNVpkFpot8D3mNP+91CTGFlF5nG9kTjSun8nJJHPzsYU= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=kernel.org header.i=@kernel.org header.b=muiakLok; arc=none smtp.client-ip=10.30.226.201 Received: by smtp.kernel.org (Postfix) with ESMTPSA id 7403FC43394; Mon, 22 Jan 2024 14:39:02 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1705934343; bh=YSUNPwoWfGMmfWKPSAXl0wleuODMangCwpYPqnFnaIs=; h=From:To:Cc:Subject:References:Date:In-Reply-To:From; b=muiakLok3r2D9h9GKyLHPrNJKoRdokMJIFJxNmqszHWRjHTp7xC5ca0Cu0xSNhuYi kBP/mTReYLgN0y8xPQ7tJCOfCALHuGk077uXwQeHXPB9GaZY8kAyapfllCukxEqhZu WnT4uQLE9k3fOs8wR069QbH4uqTmHxhYaSusahVkKtfg1lboxIfroMbHkyRRvSY/Nh bTXeFxFLU5BUa5V9nnZU8/jZGp3i+W/gNJfEZyvA99AV+fipj3PBXWa5lTfSPCRcap 7cpVDi5l1XvTtwKgTnmgWyqwaWsEJK9zmGNlWEbwOvTF5qq69wW0mhjAmbU9qu4XYD c+KM8nOAmbHlA== From: Kalle Valo To: Johan Hovold Cc: Johan Hovold , Jeff Johnson , ath11k@lists.infradead.org, linux-wireless@vger.kernel.org, linux-kernel@vger.kernel.org Subject: Re: ath11k: checking RCU usage References: <20231019153115.26401-1-johan+linaro@kernel.org> <87o7goxget.fsf@kernel.org> <87zfx98r6a.fsf_-_@kernel.org> Date: Mon, 22 Jan 2024 16:39:00 +0200 In-Reply-To: (Johan Hovold's message of "Mon, 22 Jan 2024 15:04:11 +0100") Message-ID: <87bk9d301n.fsf@kernel.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) Precedence: bulk X-Mailing-List: linux-wireless@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain Johan Hovold writes: > On Mon, Jan 22, 2024 at 02:10:17PM +0100, Johan Hovold wrote: >> On Sat, Jan 13, 2024 at 12:26:53PM +0200, Kalle Valo wrote: > >> > I just found out that sparse has __must_hold(): >> > >> > https://lore.kernel.org/linux-wireless/87sf31hhfp.fsf@kernel.org/ >> > >> > That looks promising, should we start using that in ath11k and ath12k to >> > check our RCU usage? >> >> I see that Johannes already commented on this in the thread above. >> >> I'm pretty sure smatch can't be used for this. > > I meant "sparse"... Yeah, that was a disappointment. I should have tested it first :) -- https://patchwork.kernel.org/project/linux-wireless/list/ https://wireless.wiki.kernel.org/en/developers/documentation/submittingpatches