From nobody Wed May 15 19:02:16 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; 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 1698744376749762.5631603390007; Tue, 31 Oct 2023 02:26:16 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.625544.974911 (Exim 4.92) (envelope-from ) id 1qxl0Q-0006kp-NO; Tue, 31 Oct 2023 09:25:50 +0000 Received: by outflank-mailman (output) from mailman id 625544.974911; Tue, 31 Oct 2023 09:25:50 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1qxl0Q-0006ki-K5; Tue, 31 Oct 2023 09:25:50 +0000 Received: by outflank-mailman (input) for mailman id 625544; Tue, 31 Oct 2023 09:25:49 +0000 Received: from se1-gles-sth1-in.inumbo.com ([159.253.27.254] helo=se1-gles-sth1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1qxl0P-0006kc-Qj for xen-devel@lists.xenproject.org; Tue, 31 Oct 2023 09:25:49 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 7a03c143-77cf-11ee-98d6-6d05b1d4d9a1; Tue, 31 Oct 2023 10:25:48 +0100 (CET) Received: from Dell.homenet.telecomitalia.it (host-87-7-132-154.retail.telecomitalia.it [87.7.132.154]) by support.bugseng.com (Postfix) with ESMTPSA id 96AF04EE073A; Tue, 31 Oct 2023 10:25:47 +0100 (CET) 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" X-Inumbo-ID: 7a03c143-77cf-11ee-98d6-6d05b1d4d9a1 From: Federico Serafini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Federico Serafini , Stefano Stabellini , Julien Grall , Bertrand Marquis , Volodymyr Babchuk , Andrew Cooper , George Dunlap , Jan Beulich , Wei Liu Subject: [XEN PATCH v2] xen/domain_page: address violations of MISRA C:2012 Rule 8.3 Date: Tue, 31 Oct 2023 10:25:41 +0100 Message-Id: X-Mailer: git-send-email 2.34.1 MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZM-MESSAGEID: 1698744378904100001 Content-Type: text/plain; charset="utf-8" Make function defintions and declarations consistent. No functional change. Signed-off-by: Federico Serafini Acked-by: Jan Beulich Acked-by: Julien Grall --- Changes in v2: - use 'ptr' do denote a const void * parameter. --- xen/arch/arm/domain_page.c | 10 +++++----- xen/include/xen/domain_page.h | 12 ++++++------ 2 files changed, 11 insertions(+), 11 deletions(-) diff --git a/xen/arch/arm/domain_page.c b/xen/arch/arm/domain_page.c index b7c02c9190..3a43601623 100644 --- a/xen/arch/arm/domain_page.c +++ b/xen/arch/arm/domain_page.c @@ -74,9 +74,9 @@ void *map_domain_page_global(mfn_t mfn) return vmap(&mfn, 1); } =20 -void unmap_domain_page_global(const void *va) +void unmap_domain_page_global(const void *ptr) { - vunmap(va); + vunmap(ptr); } =20 /* Map a page of domheap memory */ @@ -149,13 +149,13 @@ void *map_domain_page(mfn_t mfn) } =20 /* Release a mapping taken with map_domain_page() */ -void unmap_domain_page(const void *va) +void unmap_domain_page(const void *ptr) { unsigned long flags; lpae_t *map =3D this_cpu(xen_dommap); - int slot =3D ((unsigned long) va - DOMHEAP_VIRT_START) >> SECOND_SHIFT; + int slot =3D ((unsigned long)ptr - DOMHEAP_VIRT_START) >> SECOND_SHIFT; =20 - if ( !va ) + if ( !ptr ) return; =20 local_irq_save(flags); diff --git a/xen/include/xen/domain_page.h b/xen/include/xen/domain_page.h index 0ff5cdd294..e1dd24ae58 100644 --- a/xen/include/xen/domain_page.h +++ b/xen/include/xen/domain_page.h @@ -29,12 +29,12 @@ void *map_domain_page(mfn_t mfn); * Pass a VA within a page previously mapped in the context of the * currently-executing VCPU via a call to map_domain_page(). */ -void unmap_domain_page(const void *va); +void unmap_domain_page(const void *ptr); =20 -/*=20 +/* * Given a VA from map_domain_page(), return its underlying MFN. */ -mfn_t domain_page_map_to_mfn(const void *va); +mfn_t domain_page_map_to_mfn(const void *ptr); =20 /* * Similar to the above calls, except the mapping is accessible in all @@ -42,7 +42,7 @@ mfn_t domain_page_map_to_mfn(const void *va); * mappings can also be unmapped from any context. */ void *map_domain_page_global(mfn_t mfn); -void unmap_domain_page_global(const void *va); +void unmap_domain_page_global(const void *ptr); =20 #define __map_domain_page(pg) map_domain_page(page_to_mfn(pg)) =20 @@ -55,8 +55,8 @@ static inline void *__map_domain_page_global(const struct= page_info *pg) =20 #define map_domain_page(mfn) __mfn_to_virt(mfn_x(mfn)) #define __map_domain_page(pg) page_to_virt(pg) -#define unmap_domain_page(va) ((void)(va)) -#define domain_page_map_to_mfn(va) _mfn(__virt_to_mfn((unsigned l= ong)(va))) +#define unmap_domain_page(ptr) ((void)(ptr)) +#define domain_page_map_to_mfn(ptr) _mfn(__virt_to_mfn((unsigned = long)(ptr))) =20 static inline void *map_domain_page_global(mfn_t mfn) { --=20 2.34.1