From nobody Thu May 16 16:50:13 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 1690360101789972.2995489651572; Wed, 26 Jul 2023 01:28:21 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.570189.891750 (Exim 4.92) (envelope-from ) id 1qOZs6-0006p0-Qp; Wed, 26 Jul 2023 08:27:50 +0000 Received: by outflank-mailman (output) from mailman id 570189.891750; Wed, 26 Jul 2023 08:27: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 1qOZs6-0006ot-Nd; Wed, 26 Jul 2023 08:27:50 +0000 Received: by outflank-mailman (input) for mailman id 570189; Wed, 26 Jul 2023 08:27:48 +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 1qOZs4-0006on-IT for xen-devel@lists.xenproject.org; Wed, 26 Jul 2023 08:27:48 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 4cc25310-2b8e-11ee-b242-6b7b168915f2; Wed, 26 Jul 2023 10:27:47 +0200 (CEST) Received: from Dell.bugseng.com (unknown [37.163.229.19]) by support.bugseng.com (Postfix) with ESMTPSA id 8A7A54EE0738; Wed, 26 Jul 2023 10:27:45 +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: 4cc25310-2b8e-11ee-b242-6b7b168915f2 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] xen/event: address violations of MISRA C:2012 Rules 8.2 and 8.3 Date: Wed, 26 Jul 2023 10:27:38 +0200 Message-Id: <367ab3b09deaab82dfea0e833eeceaf8de49f5c1.1690359344.git.federico.serafini@bugseng.com> X-Mailer: git-send-email 2.34.1 MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZM-MESSAGEID: 1690360104153100001 Content-Type: text/plain; charset="utf-8" Give a name to unnamed parameters thus addressing violations of MISRA C:2012 Rule 8.2 ("Function types shall be in prototype form with named parameters"). Keep consistency between parameter names and types used in function declarations and the ones used in the corresponding function definitions, thus addressing violations of MISRA C:2012 Rule 8.3 ("All declarations of an object or function shall use the same names and type qualifiers"). No functional changes. Signed-off-by: Federico Serafini Acked-by: Jan Beulich --- xen/include/xen/event.h | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/xen/include/xen/event.h b/xen/include/xen/event.h index 8eae9984a9..8e509e0784 100644 --- a/xen/include/xen/event.h +++ b/xen/include/xen/event.h @@ -48,10 +48,10 @@ int set_global_virq_handler(struct domain *d, uint32_t = virq); * @d: Domain to which physical IRQ should be sent * @pirq: Physical IRQ number */ -void send_guest_pirq(struct domain *, const struct pirq *); +void send_guest_pirq(struct domain *d, const struct pirq *pirq); =20 /* Send a notification from a given domain's event-channel port. */ -int evtchn_send(struct domain *d, unsigned int lport); +int evtchn_send(struct domain *ld, unsigned int lport); =20 /* Bind a local event-channel port to the specified VCPU. */ int evtchn_bind_vcpu(evtchn_port_t port, unsigned int vcpu_id); @@ -69,7 +69,7 @@ int evtchn_close(struct domain *d1, int port1, bool guest= ); void evtchn_free(struct domain *d, struct evtchn *chn); =20 /* Allocate a specific event channel port. */ -int evtchn_allocate_port(struct domain *d, unsigned int port); +int evtchn_allocate_port(struct domain *d, evtchn_port_t port); =20 /* Allocate a new event channel */ int __must_check evtchn_alloc_unbound(evtchn_alloc_unbound_t *alloc, @@ -78,7 +78,7 @@ int __must_check evtchn_alloc_unbound(evtchn_alloc_unboun= d_t *alloc, /* Bind an event channel port to interdomain */ int __must_check evtchn_bind_interdomain(evtchn_bind_interdomain_t *bind, struct domain *ld, - evtchn_port_t port); + evtchn_port_t lport); =20 /* Unmask a local event-channel port. */ int evtchn_unmask(unsigned int port); --=20 2.34.1