From nobody Sat May 11 07:29:23 2024 Delivered-To: importer@patchew.org Received-SPF: pass (zohomail.com: domain of lists.xenproject.org designates 192.237.175.120 as permitted sender) client-ip=192.237.175.120; envelope-from=xen-devel-bounces@lists.xenproject.org; helo=lists.xenproject.org; Authentication-Results: mx.zohomail.com; dkim=pass; spf=pass (zohomail.com: domain of lists.xenproject.org designates 192.237.175.120 as permitted sender) smtp.mailfrom=xen-devel-bounces@lists.xenproject.org ARC-Seal: i=1; a=rsa-sha256; t=1674846348; cv=none; d=zohomail.com; s=zohoarc; b=W1w6ieeccNYKspB/xK0Ugzx7z9kEmXXtQwjJYr7pcr1dEGo93s8zcrGCCmEHHhNYCqNnVcDriQUKgcynf+fdRTEccSjciANCXHV+/y63ZqHZi5tRPL8DYNaIRu59cH7wb51ImQV5jZc0hTMqAiZ42kf+T90PlioooEOv1+MH440= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1674846348; h=Content-Transfer-Encoding:Cc:Date:From:List-Subscribe:List-Post:List-Id:List-Help:List-Unsubscribe:MIME-Version:Message-ID:Sender:Subject:To; bh=fTCKKhrIkTqrwRgYKyo0rDxZRUPeduOTNvM+XVhaz38=; b=HhBoH/kNhy/3rTsIyD03j5FUS/xGrpDe5CkG9MR8CAie4aszWyAD9qMaNPdYs8sfzPFj+NPvAvHFq3Zs72tXM+42qI/1Rpw/fYhz3aYShWPcnMdpX0hQMryivwie0KoH8l7Q0w5mGWl2KfX7iw9NyqqvV30yW54oj6PaBCHsBWg= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass; spf=pass (zohomail.com: domain of lists.xenproject.org designates 192.237.175.120 as permitted sender) smtp.mailfrom=xen-devel-bounces@lists.xenproject.org Return-Path: Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) by mx.zohomail.com with SMTPS id 1674846348334895.0649634921072; Fri, 27 Jan 2023 11:05:48 -0800 (PST) Received: from list by lists.xenproject.org with outflank-mailman.485886.753324 (Exim 4.92) (envelope-from ) id 1pLU2L-0000Jl-DA; Fri, 27 Jan 2023 19:05:21 +0000 Received: by outflank-mailman (output) from mailman id 485886.753324; Fri, 27 Jan 2023 19:05:21 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1pLU2L-0000Je-8d; Fri, 27 Jan 2023 19:05:21 +0000 Received: by outflank-mailman (input) for mailman id 485886; Fri, 27 Jan 2023 19:05:20 +0000 Received: from mail.xenproject.org ([104.130.215.37]) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1pLU2K-0000JY-0i for xen-devel@lists.xenproject.org; Fri, 27 Jan 2023 19:05:20 +0000 Received: from xenbits.xenproject.org ([104.239.192.120]) by mail.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1pLU2J-0005vR-HY; Fri, 27 Jan 2023 19:05:19 +0000 Received: from 54-240-197-224.amazon.com ([54.240.197.224] helo=dev-dsk-jgrall-1b-035652ec.eu-west-1.amazon.com) by xenbits.xenproject.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.92) (envelope-from ) id 1pLU2J-0000WN-90; Fri, 27 Jan 2023 19:05:19 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version X-BeenThere: xen-devel@lists.xenproject.org List-Id: Xen developer discussion List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xenproject.org Precedence: list Sender: "Xen-devel" DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=xen.org; s=20200302mail; h=Content-Transfer-Encoding:MIME-Version:Message-Id:Date: Subject:Cc:To:From; bh=fTCKKhrIkTqrwRgYKyo0rDxZRUPeduOTNvM+XVhaz38=; b=DgxBbM mOUg6ujloGoy/HYwpEdEKwCZjdFnuBPi2KPaSj5d2f6JmrGXLsrnMgmKywdndo129tC7Xi8NbST+E T20kRz+dDCpOPQeh1RiytevD3az6D2HdbK9lgcQKEBX1FGcYzCqxXhu8YjG95X7EvgcnLCn1UAoGL ZCV0hPM4JAw=; From: Julien Grall To: xen-devel@lists.xenproject.org Cc: julien@xen.org, Julien Grall , Andrew Cooper , George Dunlap , Jan Beulich , Stefano Stabellini , Wei Liu Subject: [PATCH] xen/common: Constify the parameter of _spin_is_locked() Date: Fri, 27 Jan 2023 19:05:16 +0000 Message-Id: <20230127190516.52994-1-julien@xen.org> X-Mailer: git-send-email 2.38.1 MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZohoMail-DKIM: pass (identity @xen.org) X-ZM-MESSAGEID: 1674846350452100001 Content-Type: text/plain; charset="utf-8" From: Julien Grall The lock is not meant to be modified by _spin_is_locked(). So constify it. This is helpful to be able to assert the locked is taken when the underlying structure is const. Signed-off-by: Julien Grall Reviewed-by: Henry Wang Reviewed-by: Jan Beulich Tested-by: Henry Wang #Arm --- xen/common/spinlock.c | 2 +- xen/include/xen/spinlock.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/xen/common/spinlock.c b/xen/common/spinlock.c index 84996c3fbc1f..a15f0a2eb667 100644 --- a/xen/common/spinlock.c +++ b/xen/common/spinlock.c @@ -368,7 +368,7 @@ void _spin_unlock_irqrestore(spinlock_t *lock, unsigned= long flags) local_irq_restore(flags); } =20 -int _spin_is_locked(spinlock_t *lock) +int _spin_is_locked(const spinlock_t *lock) { /* * Recursive locks may be locked by another CPU, yet we return diff --git a/xen/include/xen/spinlock.h b/xen/include/xen/spinlock.h index 2fa6ba36548e..ca40c71c88f9 100644 --- a/xen/include/xen/spinlock.h +++ b/xen/include/xen/spinlock.h @@ -185,7 +185,7 @@ void _spin_unlock(spinlock_t *lock); void _spin_unlock_irq(spinlock_t *lock); void _spin_unlock_irqrestore(spinlock_t *lock, unsigned long flags); =20 -int _spin_is_locked(spinlock_t *lock); +int _spin_is_locked(const spinlock_t *lock); int _spin_trylock(spinlock_t *lock); void _spin_barrier(spinlock_t *lock); =20 --=20 2.38.1