From nobody Fri May 17 01:43:54 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 1698045819938161.43679221901414; Mon, 23 Oct 2023 00:23:39 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.620989.966907 (Exim 4.92) (envelope-from ) id 1qupHO-0003PA-Fq; Mon, 23 Oct 2023 07:23:14 +0000 Received: by outflank-mailman (output) from mailman id 620989.966907; Mon, 23 Oct 2023 07:23:14 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1qupHO-0003P3-Co; Mon, 23 Oct 2023 07:23:14 +0000 Received: by outflank-mailman (input) for mailman id 620989; Mon, 23 Oct 2023 07:23:13 +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 1qupHN-0003Om-Fd for xen-devel@lists.xenproject.org; Mon, 23 Oct 2023 07:23:13 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 058a706d-7175-11ee-98d5-6d05b1d4d9a1; Mon, 23 Oct 2023 09:23:12 +0200 (CEST) Received: from Dell.homenet.telecomitalia.it (host-95-247-204-25.retail.telecomitalia.it [95.247.204.25]) by support.bugseng.com (Postfix) with ESMTPSA id D53D74EE0745; Mon, 23 Oct 2023 09:23:10 +0200 (CEST) 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: 058a706d-7175-11ee-98d5-6d05b1d4d9a1 From: Federico Serafini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Federico Serafini , Jan Beulich , Paul Durrant , =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= Subject: [XEN PATCH 1/8] x86/hvm: address violations of MISRA C:2012 Rule 8.2 Date: Mon, 23 Oct 2023 09:22:56 +0200 Message-Id: <4cfdc887fa3e384dd0d160755350270208c3693a.1698045505.git.federico.serafini@bugseng.com> X-Mailer: git-send-email 2.34.1 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZM-MESSAGEID: 1698045821852100002 Content-Type: text/plain; charset="utf-8" Add missing parameter names. No functional change. Signed-off-by: Federico Serafini Acked-by: Jan Beulich --- xen/drivers/passthrough/x86/hvm.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/xen/drivers/passthrough/x86/hvm.c b/xen/drivers/passthrough/x8= 6/hvm.c index 8175ba629a..d3627e4af7 100644 --- a/xen/drivers/passthrough/x86/hvm.c +++ b/xen/drivers/passthrough/x86/hvm.c @@ -724,8 +724,8 @@ bool pt_pirq_cleanup_check(struct hvm_pirq_dpci *dpci) } =20 int pt_pirq_iterate(struct domain *d, - int (*cb)(struct domain *, - struct hvm_pirq_dpci *, void *), + int (*cb)(struct domain *d, + struct hvm_pirq_dpci *pirq_dpci, void *arg), void *arg) { int rc =3D 0; --=20 2.34.1 From nobody Fri May 17 01:43:54 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 1698045820574218.42684709133766; Mon, 23 Oct 2023 00:23:40 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.620991.966917 (Exim 4.92) (envelope-from ) id 1qupHP-0003Vv-0h; Mon, 23 Oct 2023 07:23:15 +0000 Received: by outflank-mailman (output) from mailman id 620991.966917; Mon, 23 Oct 2023 07:23:14 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1qupHO-0003Ut-SU; Mon, 23 Oct 2023 07:23:14 +0000 Received: by outflank-mailman (input) for mailman id 620991; Mon, 23 Oct 2023 07:23:13 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1qupHN-0003Or-T5 for xen-devel@lists.xenproject.org; Mon, 23 Oct 2023 07:23:13 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 05d467fd-7175-11ee-9b0e-b553b5be7939; Mon, 23 Oct 2023 09:23:11 +0200 (CEST) Received: from Dell.homenet.telecomitalia.it (host-95-247-204-25.retail.telecomitalia.it [95.247.204.25]) by support.bugseng.com (Postfix) with ESMTPSA id 548504EE0747; Mon, 23 Oct 2023 09:23:11 +0200 (CEST) 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: 05d467fd-7175-11ee-9b0e-b553b5be7939 From: Federico Serafini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Federico Serafini , Jan Beulich , Andrew Cooper , =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= , Wei Liu Subject: [XEN PATCH 2/8] x86/mmconfig: address violations of MISRA C:2012 Rule 8.2 Date: Mon, 23 Oct 2023 09:22:57 +0200 Message-Id: <1ced29b83c361b390ed32e30155a603a81baab0a.1698045505.git.federico.serafini@bugseng.com> X-Mailer: git-send-email 2.34.1 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZM-MESSAGEID: 1698045821707100001 Content-Type: text/plain; charset="utf-8" Add missing parameter names. No functional change. Signed-off-by: Federico Serafini Acked-by: Jan Beulich --- xen/arch/x86/x86_64/mmconfig.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/xen/arch/x86/x86_64/mmconfig.h b/xen/arch/x86/x86_64/mmconfig.h index 2d49fc79a0..3da4b21e9b 100644 --- a/xen/arch/x86/x86_64/mmconfig.h +++ b/xen/arch/x86/x86_64/mmconfig.h @@ -70,5 +70,5 @@ int pci_mmcfg_reserved(uint64_t address, unsigned int seg= ment, unsigned int start_bus, unsigned int end_bus, unsigned int flags); int pci_mmcfg_arch_init(void); -int pci_mmcfg_arch_enable(unsigned int); -void pci_mmcfg_arch_disable(unsigned int); +int pci_mmcfg_arch_enable(unsigned int idx); +void pci_mmcfg_arch_disable(unsigned int idx); --=20 2.34.1 From nobody Fri May 17 01:43:54 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 1698045824207673.8223909844377; Mon, 23 Oct 2023 00:23:44 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.620993.966941 (Exim 4.92) (envelope-from ) id 1qupHQ-0004AT-HL; Mon, 23 Oct 2023 07:23:16 +0000 Received: by outflank-mailman (output) from mailman id 620993.966941; Mon, 23 Oct 2023 07:23:16 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1qupHQ-00048U-B6; Mon, 23 Oct 2023 07:23:16 +0000 Received: by outflank-mailman (input) for mailman id 620993; Mon, 23 Oct 2023 07:23:14 +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 1qupHO-0003Om-Ml for xen-devel@lists.xenproject.org; Mon, 23 Oct 2023 07:23:14 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 0625e0d2-7175-11ee-98d5-6d05b1d4d9a1; Mon, 23 Oct 2023 09:23:12 +0200 (CEST) Received: from Dell.homenet.telecomitalia.it (host-95-247-204-25.retail.telecomitalia.it [95.247.204.25]) by support.bugseng.com (Postfix) with ESMTPSA id D21454EE0746; Mon, 23 Oct 2023 09:23:11 +0200 (CEST) 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: 0625e0d2-7175-11ee-98d5-6d05b1d4d9a1 From: Federico Serafini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Federico Serafini , Jan Beulich , Andrew Cooper , =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= , Wei Liu Subject: [XEN PATCH 3/8] x86/vpmu: address a violation of MISRA C:2012 Rule 8.2 Date: Mon, 23 Oct 2023 09:22:58 +0200 Message-Id: <064278aecf69859c664784ba18a7189d885112c0.1698045505.git.federico.serafini@bugseng.com> X-Mailer: git-send-email 2.34.1 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZM-MESSAGEID: 1698045825535100001 Content-Type: text/plain; charset="utf-8" Add missing parameter name. No functional change. Signed-off-by: Federico Serafini Acked-by: Jan Beulich --- xen/arch/x86/include/asm/vpmu.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/arch/x86/include/asm/vpmu.h b/xen/arch/x86/include/asm/vpm= u.h index b165acc6c2..7858aec6ca 100644 --- a/xen/arch/x86/include/asm/vpmu.h +++ b/xen/arch/x86/include/asm/vpmu.h @@ -35,7 +35,7 @@ struct arch_vpmu_ops { void (*arch_vpmu_destroy)(struct vcpu *v); int (*arch_vpmu_save)(struct vcpu *v, bool_t to_guest); int (*arch_vpmu_load)(struct vcpu *v, bool_t from_guest); - void (*arch_vpmu_dump)(const struct vcpu *); + void (*arch_vpmu_dump)(const struct vcpu *v); =20 #ifdef CONFIG_MEM_SHARING int (*allocate_context)(struct vcpu *v); --=20 2.34.1 From nobody Fri May 17 01:43:54 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 169804583379453.571948486803194; Mon, 23 Oct 2023 00:23:53 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.620992.966938 (Exim 4.92) (envelope-from ) id 1qupHQ-00047L-8t; Mon, 23 Oct 2023 07:23:16 +0000 Received: by outflank-mailman (output) from mailman id 620992.966938; Mon, 23 Oct 2023 07:23:16 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1qupHQ-00046Q-4B; Mon, 23 Oct 2023 07:23:16 +0000 Received: by outflank-mailman (input) for mailman id 620992; Mon, 23 Oct 2023 07:23:14 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1qupHO-0003Or-Ia for xen-devel@lists.xenproject.org; Mon, 23 Oct 2023 07:23:14 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 06712156-7175-11ee-9b0e-b553b5be7939; Mon, 23 Oct 2023 09:23:13 +0200 (CEST) Received: from Dell.homenet.telecomitalia.it (host-95-247-204-25.retail.telecomitalia.it [95.247.204.25]) by support.bugseng.com (Postfix) with ESMTPSA id 5B78B4EE0744; Mon, 23 Oct 2023 09:23:12 +0200 (CEST) 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: 06712156-7175-11ee-9b0e-b553b5be7939 From: Federico Serafini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Federico Serafini , Jan Beulich , Andrew Cooper , =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= , Wei Liu Subject: [XEN PATCH 4/8] x86/smp: address a violation of MISRA C:2012 Rule 8.2 Date: Mon, 23 Oct 2023 09:22:59 +0200 Message-Id: X-Mailer: git-send-email 2.34.1 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZM-MESSAGEID: 1698045835462100003 Content-Type: text/plain; charset="utf-8" Add missing parameter name. No functional change. Signed-off-by: Federico Serafini Acked-by: Jan Beulich --- xen/arch/x86/include/asm/smp.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/arch/x86/include/asm/smp.h b/xen/arch/x86/include/asm/smp.h index 41a3b6a0da..5c2de4920f 100644 --- a/xen/arch/x86/include/asm/smp.h +++ b/xen/arch/x86/include/asm/smp.h @@ -32,7 +32,7 @@ extern bool park_offline_cpus; =20 void smp_send_nmi_allbutself(void); =20 -void send_IPI_mask(const cpumask_t *, int vector); +void send_IPI_mask(const cpumask_t *mask, int vector); void send_IPI_self(int vector); =20 extern void (*mtrr_hook) (void); --=20 2.34.1 From nobody Fri May 17 01:43:54 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 1698045831527678.2767115833036; Mon, 23 Oct 2023 00:23:51 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.620994.966949 (Exim 4.92) (envelope-from ) id 1qupHR-0004Fo-0h; Mon, 23 Oct 2023 07:23:17 +0000 Received: by outflank-mailman (output) from mailman id 620994.966949; Mon, 23 Oct 2023 07:23:16 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1qupHQ-0004CC-Oi; Mon, 23 Oct 2023 07:23:16 +0000 Received: by outflank-mailman (input) for mailman id 620994; Mon, 23 Oct 2023 07:23:15 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1qupHP-0003Or-If for xen-devel@lists.xenproject.org; Mon, 23 Oct 2023 07:23:15 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 06b8f9dc-7175-11ee-9b0e-b553b5be7939; Mon, 23 Oct 2023 09:23:13 +0200 (CEST) Received: from Dell.homenet.telecomitalia.it (host-95-247-204-25.retail.telecomitalia.it [95.247.204.25]) by support.bugseng.com (Postfix) with ESMTPSA id D8AB14EE0748; Mon, 23 Oct 2023 09:23:12 +0200 (CEST) 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: 06b8f9dc-7175-11ee-9b0e-b553b5be7939 From: Federico Serafini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Federico Serafini , Jan Beulich , Andrew Cooper , =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= , Wei Liu Subject: [XEN PATCH 5/8] x86/pci: address a violation of MISRA C:2012 Rule 8.2 Date: Mon, 23 Oct 2023 09:23:00 +0200 Message-Id: <19fce0e146462d713e3f7dfd816f87b35a94636b.1698045505.git.federico.serafini@bugseng.com> X-Mailer: git-send-email 2.34.1 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZM-MESSAGEID: 1698045833674100001 Content-Type: text/plain; charset="utf-8" Add missing parameter name. No functional change. Signed-off-by: Federico Serafini Acked-by: Jan Beulich --- xen/arch/x86/include/asm/pci.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/arch/x86/include/asm/pci.h b/xen/arch/x86/include/asm/pci.h index f4a58c8acf..542e284f14 100644 --- a/xen/arch/x86/include/asm/pci.h +++ b/xen/arch/x86/include/asm/pci.h @@ -37,7 +37,7 @@ struct arch_pci_dev { int pci_conf_write_intercept(unsigned int seg, unsigned int bdf, unsigned int reg, unsigned int size, uint32_t *data); -int pci_msi_conf_write_intercept(struct pci_dev *, unsigned int reg, +int pci_msi_conf_write_intercept(struct pci_dev *pdev, unsigned int reg, unsigned int size, uint32_t *data); bool_t pci_mmcfg_decode(unsigned long mfn, unsigned int *seg, unsigned int *bdf); --=20 2.34.1 From nobody Fri May 17 01:43:54 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 1698045828246135.02775995129696; Mon, 23 Oct 2023 00:23:48 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.620995.966956 (Exim 4.92) (envelope-from ) id 1qupHR-0004OY-GZ; Mon, 23 Oct 2023 07:23:17 +0000 Received: by outflank-mailman (output) from mailman id 620995.966956; Mon, 23 Oct 2023 07:23:17 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1qupHR-0004NU-6K; Mon, 23 Oct 2023 07:23:17 +0000 Received: by outflank-mailman (input) for mailman id 620995; Mon, 23 Oct 2023 07:23:15 +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 1qupHP-0003Om-N6 for xen-devel@lists.xenproject.org; Mon, 23 Oct 2023 07:23:15 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 0709b123-7175-11ee-98d5-6d05b1d4d9a1; Mon, 23 Oct 2023 09:23:14 +0200 (CEST) Received: from Dell.homenet.telecomitalia.it (host-95-247-204-25.retail.telecomitalia.it [95.247.204.25]) by support.bugseng.com (Postfix) with ESMTPSA id 5737A4EE0749; Mon, 23 Oct 2023 09:23:13 +0200 (CEST) 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: 0709b123-7175-11ee-98d5-6d05b1d4d9a1 From: Federico Serafini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Federico Serafini , Jan Beulich , Andrew Cooper , =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= , Wei Liu Subject: [XEN PATCH 6/8] x86/physdev: address violations of MISRA C:2012 Rule 8.2 Date: Mon, 23 Oct 2023 09:23:01 +0200 Message-Id: X-Mailer: git-send-email 2.34.1 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZM-MESSAGEID: 1698045829514100005 Content-Type: text/plain; charset="utf-8" Add missing parameter names. No functional change. Signed-off-by: Federico Serafini Acked-by: Jan Beulich --- xen/arch/x86/physdev.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/xen/arch/x86/physdev.c b/xen/arch/x86/physdev.c index 2f1d955a96..47c4da0af7 100644 --- a/xen/arch/x86/physdev.c +++ b/xen/arch/x86/physdev.c @@ -18,9 +18,9 @@ #include #include =20 -int physdev_map_pirq(domid_t, int type, int *index, int *pirq_p, - struct msi_info *); -int physdev_unmap_pirq(domid_t, int pirq); +int physdev_map_pirq(domid_t domid, int type, int *index, int *pirq_p, + struct msi_info *msi); +int physdev_unmap_pirq(domid_t domid, int pirq); =20 #include "x86_64/mmconfig.h" =20 --=20 2.34.1 From nobody Fri May 17 01:43:54 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 1698045828007218.84196927051698; Mon, 23 Oct 2023 00:23:48 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.620996.966967 (Exim 4.92) (envelope-from ) id 1qupHS-0004gt-84; Mon, 23 Oct 2023 07:23:18 +0000 Received: by outflank-mailman (output) from mailman id 620996.966967; Mon, 23 Oct 2023 07:23:18 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1qupHS-0004eG-0m; Mon, 23 Oct 2023 07:23:18 +0000 Received: by outflank-mailman (input) for mailman id 620996; Mon, 23 Oct 2023 07:23:16 +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 1qupHQ-0003Om-NM for xen-devel@lists.xenproject.org; Mon, 23 Oct 2023 07:23:16 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 07517b3a-7175-11ee-98d5-6d05b1d4d9a1; Mon, 23 Oct 2023 09:23:14 +0200 (CEST) Received: from Dell.homenet.telecomitalia.it (host-95-247-204-25.retail.telecomitalia.it [95.247.204.25]) by support.bugseng.com (Postfix) with ESMTPSA id D42504EE074B; Mon, 23 Oct 2023 09:23:13 +0200 (CEST) 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: 07517b3a-7175-11ee-98d5-6d05b1d4d9a1 From: Federico Serafini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Federico Serafini , Jan Beulich , Andrew Cooper , =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= , Wei Liu Subject: [XEN PATCH 7/8] x86/platform_hypercall: address violations of MISRA C:2012 Rule 8.2 Date: Mon, 23 Oct 2023 09:23:02 +0200 Message-Id: <40839b7484878109b3096347dfc113bf177f210a.1698045505.git.federico.serafini@bugseng.com> X-Mailer: git-send-email 2.34.1 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZM-MESSAGEID: 1698045829444100002 Content-Type: text/plain; charset="utf-8" Add missing parameter names. No functional change. Signed-off-by: Federico Serafini Acked-by: Jan Beulich --- xen/arch/x86/platform_hypercall.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/xen/arch/x86/platform_hypercall.c b/xen/arch/x86/platform_hype= rcall.c index 9469de9045..c1ab552c57 100644 --- a/xen/arch/x86/platform_hypercall.c +++ b/xen/arch/x86/platform_hypercall.c @@ -46,9 +46,9 @@ struct resource_access { xenpf_resource_entry_t *entries; }; =20 -long cf_check cpu_frequency_change_helper(void *); -void check_resource_access(struct resource_access *); -void cf_check resource_access(void *); +long cf_check cpu_frequency_change_helper(void *data); +void check_resource_access(struct resource_access *ra); +void cf_check resource_access(void *info); =20 #ifndef COMPAT typedef long ret_t; --=20 2.34.1 From nobody Fri May 17 01:43:54 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 1698045821710229.8615141642689; Mon, 23 Oct 2023 00:23:41 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.620997.966974 (Exim 4.92) (envelope-from ) id 1qupHS-0004pf-Mj; Mon, 23 Oct 2023 07:23:18 +0000 Received: by outflank-mailman (output) from mailman id 620997.966974; Mon, 23 Oct 2023 07:23:18 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1qupHS-0004lA-Bg; Mon, 23 Oct 2023 07:23:18 +0000 Received: by outflank-mailman (input) for mailman id 620997; Mon, 23 Oct 2023 07:23:16 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1qupHQ-0003Or-Ij for xen-devel@lists.xenproject.org; Mon, 23 Oct 2023 07:23:16 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 079c699c-7175-11ee-9b0e-b553b5be7939; Mon, 23 Oct 2023 09:23:14 +0200 (CEST) Received: from Dell.homenet.telecomitalia.it (host-95-247-204-25.retail.telecomitalia.it [95.247.204.25]) by support.bugseng.com (Postfix) with ESMTPSA id 524474EE0745; Mon, 23 Oct 2023 09:23:14 +0200 (CEST) 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: 079c699c-7175-11ee-9b0e-b553b5be7939 From: Federico Serafini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Federico Serafini , Jan Beulich , Andrew Cooper , =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= , Wei Liu Subject: [XEN PATCH 8/8] x86/sysctl: address a violation of MISRA C:2012 Rule 8.2 Date: Mon, 23 Oct 2023 09:23:03 +0200 Message-Id: <06004789b921a35632bd7126bf022e20c15052ef.1698045505.git.federico.serafini@bugseng.com> X-Mailer: git-send-email 2.34.1 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZM-MESSAGEID: 1698045823416100005 Content-Type: text/plain; charset="utf-8" Add missing parameter name. No functional change. Signed-off-by: Federico Serafini Acked-by: Jan Beulich --- xen/arch/x86/sysctl.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/arch/x86/sysctl.c b/xen/arch/x86/sysctl.c index c107f40c62..1d40d82c5a 100644 --- a/xen/arch/x86/sysctl.c +++ b/xen/arch/x86/sysctl.c @@ -118,7 +118,7 @@ long arch_do_sysctl( unsigned int cpu =3D sysctl->u.cpu_hotplug.cpu; unsigned int op =3D sysctl->u.cpu_hotplug.op; bool plug; - long (*fn)(void *); + long (*fn)(void *data); void *hcpu; =20 switch ( op ) --=20 2.34.1