From patchwork Mon Oct 23 07:22:56 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Federico Serafini X-Patchwork-Id: 13432454 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.lore.kernel.org (Postfix) with ESMTPS id E6476CDB474 for ; Mon, 23 Oct 2023 07:23:30 +0000 (UTC) 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 X-Outflank-Mailman: Message body and most headers restored to incoming version 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-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?Rog?= =?utf-8?q?er_Pau_Monn=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 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/x86/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) } 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 = 0; From patchwork Mon Oct 23 07:22:57 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Federico Serafini X-Patchwork-Id: 13432455 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.lore.kernel.org (Postfix) with ESMTPS id 39F4FC001E0 for ; Mon, 23 Oct 2023 07:23:32 +0000 (UTC) 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 X-Outflank-Mailman: Message body and most headers restored to incoming version 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-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_Pau_Monn=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 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 segment, 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); From patchwork Mon Oct 23 07:22:58 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Federico Serafini X-Patchwork-Id: 13432458 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.lore.kernel.org (Postfix) with ESMTPS id A6AECCDB474 for ; Mon, 23 Oct 2023 07:23:33 +0000 (UTC) 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 X-Outflank-Mailman: Message body and most headers restored to incoming version 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-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_Pau_Monn=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 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/vpmu.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); #ifdef CONFIG_MEM_SHARING int (*allocate_context)(struct vcpu *v); From patchwork Mon Oct 23 07:22:59 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Federico Serafini X-Patchwork-Id: 13432461 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.lore.kernel.org (Postfix) with ESMTPS id 4EB47C25B42 for ; Mon, 23 Oct 2023 07:23:37 +0000 (UTC) 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 X-Outflank-Mailman: Message body and most headers restored to incoming version 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-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_Pau_Monn=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 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; void smp_send_nmi_allbutself(void); -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); extern void (*mtrr_hook) (void); From patchwork Mon Oct 23 07:23:00 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Federico Serafini X-Patchwork-Id: 13432459 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.lore.kernel.org (Postfix) with ESMTPS id BD2CDC001E0 for ; Mon, 23 Oct 2023 07:23:36 +0000 (UTC) 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 X-Outflank-Mailman: Message body and most headers restored to incoming version 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-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_Pau_Monn=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 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); From patchwork Mon Oct 23 07:23:01 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Federico Serafini X-Patchwork-Id: 13432456 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.lore.kernel.org (Postfix) with ESMTPS id B231FC25B42 for ; Mon, 23 Oct 2023 07:23:32 +0000 (UTC) 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 X-Outflank-Mailman: Message body and most headers restored to incoming version 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-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_Pau_Monn=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 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 -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); #include "x86_64/mmconfig.h" From patchwork Mon Oct 23 07:23:02 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Federico Serafini X-Patchwork-Id: 13432460 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.lore.kernel.org (Postfix) with ESMTPS id B9D3ECDB474 for ; Mon, 23 Oct 2023 07:23:36 +0000 (UTC) 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 X-Outflank-Mailman: Message body and most headers restored to incoming version 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-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_Pau_Monn=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 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_hypercall.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; }; -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); #ifndef COMPAT typedef long ret_t; From patchwork Mon Oct 23 07:23:03 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Federico Serafini X-Patchwork-Id: 13432457 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.lore.kernel.org (Postfix) with ESMTPS id 9BC27C25B41 for ; Mon, 23 Oct 2023 07:23:32 +0000 (UTC) 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 X-Outflank-Mailman: Message body and most headers restored to incoming version 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-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_Pau_Monn=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 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 = sysctl->u.cpu_hotplug.cpu; unsigned int op = sysctl->u.cpu_hotplug.op; bool plug; - long (*fn)(void *); + long (*fn)(void *data); void *hcpu; switch ( op )