From patchwork Fri Nov 24 14:03:20 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Federico Serafini X-Patchwork-Id: 13467700 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 988B3C624B4 for ; Fri, 24 Nov 2023 14:05:10 +0000 (UTC) Received: from list by lists.xenproject.org with outflank-mailman.640736.999409 (Exim 4.92) (envelope-from ) id 1r6WnX-0006PI-IJ; Fri, 24 Nov 2023 14:04:47 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 640736.999409; Fri, 24 Nov 2023 14:04:47 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1r6WnX-0006Nq-DG; Fri, 24 Nov 2023 14:04:47 +0000 Received: by outflank-mailman (input) for mailman id 640736; Fri, 24 Nov 2023 14:04:46 +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 1r6WnV-0005N1-VZ for xen-devel@lists.xenproject.org; Fri, 24 Nov 2023 14:04:45 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 6b5493b8-8ad2-11ee-9b0e-b553b5be7939; Fri, 24 Nov 2023 15:04:44 +0100 (CET) Received: from Dell.bugseng.com (unknown [37.161.237.167]) by support.bugseng.com (Postfix) with ESMTPSA id 768CB4EE0C96; Fri, 24 Nov 2023 15:04:43 +0100 (CET) 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: 6b5493b8-8ad2-11ee-9b0e-b553b5be7939 From: Federico Serafini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Federico Serafini , Andrew Cooper , George Dunlap , Jan Beulich , Julien Grall , Stefano Stabellini , Wei Liu Subject: [XEN PATCH 05/11] xen/domain: address violations of MISRA C:2012 Rule 8.2 Date: Fri, 24 Nov 2023 15:03:20 +0100 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 Reviewed-by: Stefano Stabellini --- xen/include/xen/domain.h | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/xen/include/xen/domain.h b/xen/include/xen/domain.h index 460c8c3d27..d345278b71 100644 --- a/xen/include/xen/domain.h +++ b/xen/include/xen/domain.h @@ -25,7 +25,7 @@ unsigned int dom0_max_vcpus(void); int parse_arch_dom0_param(const char *s, const char *e); struct vcpu *alloc_dom0_vcpu0(struct domain *dom0); -int vcpu_reset(struct vcpu *); +int vcpu_reset(struct vcpu *v); int vcpu_up(struct vcpu *v); void setup_system_domains(void); @@ -65,9 +65,9 @@ void free_vcpu_struct(struct vcpu *v); /* Allocate/free a PIRQ structure. */ #ifndef alloc_pirq_struct -struct pirq *alloc_pirq_struct(struct domain *); +struct pirq *alloc_pirq_struct(struct domain *d); #endif -void cf_check free_pirq_struct(void *); +void cf_check free_pirq_struct(void *ptr); /* * Initialise/destroy arch-specific details of a VCPU. @@ -103,8 +103,8 @@ void arch_domain_creation_finished(struct domain *d); void arch_p2m_set_access_required(struct domain *d, bool access_required); -int arch_set_info_guest(struct vcpu *, vcpu_guest_context_u); -void arch_get_info_guest(struct vcpu *, vcpu_guest_context_u); +int arch_set_info_guest(struct vcpu *v, vcpu_guest_context_u c); +void arch_get_info_guest(struct vcpu *v, vcpu_guest_context_u c); int arch_initialise_vcpu(struct vcpu *v, XEN_GUEST_HANDLE_PARAM(void) arg); int default_initialise_vcpu(struct vcpu *v, XEN_GUEST_HANDLE_PARAM(void) arg); @@ -112,7 +112,7 @@ int default_initialise_vcpu(struct vcpu *v, XEN_GUEST_HANDLE_PARAM(void) arg); int arch_get_paging_mempool_size(struct domain *d, uint64_t *size /* bytes */); int arch_set_paging_mempool_size(struct domain *d, uint64_t size /* bytes */); -bool update_runstate_area(struct vcpu *); +bool update_runstate_area(struct vcpu *v); int domain_relinquish_resources(struct domain *d); @@ -122,7 +122,7 @@ void arch_dump_vcpu_info(struct vcpu *v); void arch_dump_domain_info(struct domain *d); -int arch_vcpu_reset(struct vcpu *); +int arch_vcpu_reset(struct vcpu *v); bool domctl_lock_acquire(void); void domctl_lock_release(void);