From nobody Fri May 17 17:59:05 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 1690545060075524.496159012974; Fri, 28 Jul 2023 04:51:00 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.571438.895285 (Exim 4.92) (envelope-from ) id 1qPLzU-0006GG-De; Fri, 28 Jul 2023 11:50:40 +0000 Received: by outflank-mailman (output) from mailman id 571438.895285; Fri, 28 Jul 2023 11:50:40 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1qPLzU-0006G5-Al; Fri, 28 Jul 2023 11:50:40 +0000 Received: by outflank-mailman (input) for mailman id 571438; Fri, 28 Jul 2023 11:50:39 +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 1qPLzT-0006Fq-2g for xen-devel@lists.xenproject.org; Fri, 28 Jul 2023 11:50:39 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id f7a6a49d-2d3c-11ee-b24d-6b7b168915f2; Fri, 28 Jul 2023 13:50:37 +0200 (CEST) Received: from Dell.bugseng.com (unknown [37.163.4.37]) by support.bugseng.com (Postfix) with ESMTPSA id 0BD564EE0741; Fri, 28 Jul 2023 13:50:35 +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: f7a6a49d-2d3c-11ee-b24d-6b7b168915f2 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 1/2] xen/IRQ: address violations of MISRA C: 2012 Rules 8.2 and 8.3 Date: Fri, 28 Jul 2023 13:49:01 +0200 Message-Id: <6a72c66e2bfd83ca92c1fd9c702f6125d27062b1.1690544434.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: 1690545061889100003 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 Reviewed-by: Stefano Stabellini --- Changes in v2: - use 'pirq' instead of 'irq'; - removed changes involving function pointers. --- xen/arch/arm/irq.c | 2 +- xen/include/xen/irq.h | 41 ++++++++++++++++++++------------------- xen/include/xen/softirq.h | 2 +- 3 files changed, 23 insertions(+), 22 deletions(-) diff --git a/xen/arch/arm/irq.c b/xen/arch/arm/irq.c index 16e56f8945..054bb281d8 100644 --- a/xen/arch/arm/irq.c +++ b/xen/arch/arm/irq.c @@ -58,7 +58,7 @@ hw_irq_controller no_irq_type =3D { static irq_desc_t irq_desc[NR_IRQS]; static DEFINE_PER_CPU(irq_desc_t[NR_LOCAL_IRQS], local_irq_desc); =20 -irq_desc_t *__irq_to_desc(int irq) +struct irq_desc *__irq_to_desc(int irq) { if ( irq < NR_LOCAL_IRQS ) return &this_cpu(local_irq_desc)[irq]; diff --git a/xen/include/xen/irq.h b/xen/include/xen/irq.h index 300625e56d..9747e818f7 100644 --- a/xen/include/xen/irq.h +++ b/xen/include/xen/irq.h @@ -110,22 +110,22 @@ typedef struct irq_desc { #define irq_to_desc(irq) (&irq_desc[irq]) #endif =20 -int init_one_irq_desc(struct irq_desc *); -int arch_init_one_irq_desc(struct irq_desc *); +int init_one_irq_desc(struct irq_desc *desc); +int arch_init_one_irq_desc(struct irq_desc *desc); =20 #define irq_desc_initialized(desc) ((desc)->handler !=3D NULL) =20 extern int setup_irq(unsigned int irq, unsigned int irqflags, - struct irqaction *); + struct irqaction *new); extern void release_irq(unsigned int irq, const void *dev_id); extern int request_irq(unsigned int irq, unsigned int irqflags, void (*handler)(int, void *, struct cpu_user_regs *), - const char * devname, void *dev_id); + const char *devname, void *dev_id); =20 extern hw_irq_controller no_irq_type; void cf_check no_action(int cpl, void *dev_id, struct cpu_user_regs *regs); -unsigned int cf_check irq_startup_none(struct irq_desc *); -void cf_check irq_actor_none(struct irq_desc *); +unsigned int cf_check irq_startup_none(struct irq_desc *desc); +void cf_check irq_actor_none(struct irq_desc *desc); #define irq_shutdown_none irq_actor_none #define irq_disable_none irq_actor_none #define irq_enable_none irq_actor_none @@ -146,7 +146,7 @@ struct pirq { #define pirq_info(d, p) ((struct pirq *)radix_tree_lookup(&(d)->pirq_tree,= p)) =20 /* Use this instead of pirq_info() if the structure may need allocating. */ -extern struct pirq *pirq_get_info(struct domain *, int pirq); +extern struct pirq *pirq_get_info(struct domain *d, int pirq); =20 #define pirq_field(d, p, f, def) ({ \ const struct pirq *__pi =3D pirq_info(d, p); \ @@ -155,30 +155,31 @@ extern struct pirq *pirq_get_info(struct domain *, in= t pirq); #define pirq_to_evtchn(d, pirq) pirq_field(d, pirq, evtchn, 0) #define pirq_masked(d, pirq) pirq_field(d, pirq, masked, 0) =20 -void pirq_cleanup_check(struct pirq *, struct domain *); +void pirq_cleanup_check(struct pirq *pirq, struct domain *d); =20 #define pirq_cleanup_check(pirq, d) \ ((pirq)->evtchn ? pirq_cleanup_check(pirq, d) : (void)0) =20 -extern void pirq_guest_eoi(struct pirq *); -extern void desc_guest_eoi(struct irq_desc *, struct pirq *); +extern void pirq_guest_eoi(struct pirq *pirq); +extern void desc_guest_eoi(struct irq_desc *desc, struct pirq *pirq); extern int pirq_guest_unmask(struct domain *d); -extern int pirq_guest_bind(struct vcpu *, struct pirq *, int will_share); -extern void pirq_guest_unbind(struct domain *d, struct pirq *); -extern void pirq_set_affinity(struct domain *d, int irq, const cpumask_t *= ); -extern irq_desc_t *domain_spin_lock_irq_desc( - struct domain *d, int irq, unsigned long *pflags); -extern irq_desc_t *pirq_spin_lock_irq_desc( - const struct pirq *, unsigned long *pflags); +extern int pirq_guest_bind(struct vcpu *v, struct pirq *pirq, int will_sha= re); +extern void pirq_guest_unbind(struct domain *d, struct pirq *pirq); +extern void pirq_set_affinity(struct domain *d, int pirq, + const cpumask_t *mask); +extern struct irq_desc *domain_spin_lock_irq_desc( + struct domain *d, int pirq, unsigned long *pflags); +extern struct irq_desc *pirq_spin_lock_irq_desc( + const struct pirq *pirq, unsigned long *pflags); =20 -unsigned int set_desc_affinity(struct irq_desc *, const cpumask_t *); +unsigned int set_desc_affinity(struct irq_desc *desc, const cpumask_t *mas= k); =20 #ifndef arch_hwdom_irqs -unsigned int arch_hwdom_irqs(domid_t); +unsigned int arch_hwdom_irqs(domid_t domid); #endif =20 #ifndef arch_evtchn_bind_pirq -void arch_evtchn_bind_pirq(struct domain *, int pirq); +void arch_evtchn_bind_pirq(struct domain *d, int pirq); #endif =20 #endif /* __XEN_IRQ_H__ */ diff --git a/xen/include/xen/softirq.h b/xen/include/xen/softirq.h index 1f6c4783da..33d6f2ecd2 100644 --- a/xen/include/xen/softirq.h +++ b/xen/include/xen/softirq.h @@ -26,7 +26,7 @@ typedef void (*softirq_handler)(void); void do_softirq(void); void open_softirq(int nr, softirq_handler handler); =20 -void cpumask_raise_softirq(const cpumask_t *, unsigned int nr); +void cpumask_raise_softirq(const cpumask_t *mask, unsigned int nr); void cpu_raise_softirq(unsigned int cpu, unsigned int nr); void raise_softirq(unsigned int nr); =20 --=20 2.34.1 From nobody Fri May 17 17:59:05 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 1690545064449488.5599817457555; Fri, 28 Jul 2023 04:51:04 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.571439.895290 (Exim 4.92) (envelope-from ) id 1qPLzU-0006Mb-Pf; Fri, 28 Jul 2023 11:50:40 +0000 Received: by outflank-mailman (output) from mailman id 571439.895290; Fri, 28 Jul 2023 11:50:40 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1qPLzU-0006L8-Me; Fri, 28 Jul 2023 11:50:40 +0000 Received: by outflank-mailman (input) for mailman id 571439; Fri, 28 Jul 2023 11:50:39 +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 1qPLzT-0006Fq-Oc for xen-devel@lists.xenproject.org; Fri, 28 Jul 2023 11:50:39 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id f8112332-2d3c-11ee-b24d-6b7b168915f2; Fri, 28 Jul 2023 13:50:38 +0200 (CEST) Received: from Dell.bugseng.com (unknown [37.163.4.37]) by support.bugseng.com (Postfix) with ESMTPSA id 32FB04EE0742; Fri, 28 Jul 2023 13:50:37 +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: f8112332-2d3c-11ee-b24d-6b7b168915f2 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 v2 2/2] x86/IRQ: address violations of MISRA C: 2012 Rules 8.2 and 8.3 Date: Fri, 28 Jul 2023 13:49:02 +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: 1690545065324100001 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 Reviewed-by: Stefano Stabellini --- Changes in v2: - use 'pirq' instead of 'irq'; - removed changes involving function pointers. --- xen/arch/x86/include/asm/irq.h | 30 +++++++++++++++--------------- xen/arch/x86/irq.c | 4 ++-- 2 files changed, 17 insertions(+), 17 deletions(-) diff --git a/xen/arch/x86/include/asm/irq.h b/xen/arch/x86/include/asm/irq.h index 3f95dd39b7..ad907fc97f 100644 --- a/xen/arch/x86/include/asm/irq.h +++ b/xen/arch/x86/include/asm/irq.h @@ -107,12 +107,12 @@ void alloc_direct_apic_vector( =20 void do_IRQ(struct cpu_user_regs *regs); =20 -void cf_check disable_8259A_irq(struct irq_desc *); -void cf_check enable_8259A_irq(struct irq_desc *); +void cf_check disable_8259A_irq(struct irq_desc *desc); +void cf_check enable_8259A_irq(struct irq_desc *desc); int i8259A_irq_pending(unsigned int irq); void mask_8259A(void); void unmask_8259A(void); -void init_8259A(int aeoi); +void init_8259A(int auto_eoi); void make_8259A_irq(unsigned int irq); bool bogus_8259A_irq(unsigned int irq); int i8259A_suspend(void); @@ -142,15 +142,15 @@ struct arch_pirq { #define pirq_dpci(pirq) ((pirq) ? &(pirq)->arch.hvm.dpci : NULL) #define dpci_pirq(pd) container_of(pd, struct pirq, arch.hvm.dpci) =20 -int pirq_shared(struct domain *d , int irq); +int pirq_shared(struct domain *d , int pirq); =20 int map_domain_pirq(struct domain *d, int pirq, int irq, int type, void *data); int unmap_domain_pirq(struct domain *d, int pirq); int get_free_pirq(struct domain *d, int type); -int get_free_pirqs(struct domain *, unsigned int nr); +int get_free_pirqs(struct domain *d, unsigned int nr); void free_domain_pirqs(struct domain *d); -int map_domain_emuirq_pirq(struct domain *d, int pirq, int irq); +int map_domain_emuirq_pirq(struct domain *d, int pirq, int emuirq); int unmap_domain_pirq_emuirq(struct domain *d, int pirq); =20 /* Reset irq affinities to match the given CPU mask. */ @@ -168,9 +168,9 @@ int irq_to_vector(int irq); */ int create_irq(nodeid_t node, bool grant_access); void destroy_irq(unsigned int irq); -int assign_irq_vector(int irq, const cpumask_t *); +int assign_irq_vector(int irq, const cpumask_t *mask); =20 -void cf_check irq_complete_move(struct irq_desc *); +void cf_check irq_complete_move(struct irq_desc *desc); =20 extern struct irq_desc *irq_desc; =20 @@ -179,16 +179,16 @@ void unlock_vector_lock(void); =20 void setup_vector_irq(unsigned int cpu); =20 -void move_native_irq(struct irq_desc *); -void move_masked_irq(struct irq_desc *); +void move_native_irq(struct irq_desc *desc); +void move_masked_irq(struct irq_desc *desc); =20 -int bind_irq_vector(int irq, int vector, const cpumask_t *); +int bind_irq_vector(int irq, int vector, const cpumask_t *mask); =20 -void cf_check end_nonmaskable_irq(struct irq_desc *, uint8_t vector); -void irq_set_affinity(struct irq_desc *, const cpumask_t *mask); +void cf_check end_nonmaskable_irq(struct irq_desc *desc, uint8_t vector); +void irq_set_affinity(struct irq_desc *desc, const cpumask_t *mask); =20 -int init_domain_irq_mapping(struct domain *); -void cleanup_domain_irq_mapping(struct domain *); +int init_domain_irq_mapping(struct domain *d); +void cleanup_domain_irq_mapping(struct domain *d); =20 #define domain_pirq_to_irq(d, pirq) pirq_field(d, pirq, arch.irq, 0) #define domain_irq_to_pirq(d, irq) ({ \ diff --git a/xen/arch/x86/irq.c b/xen/arch/x86/irq.c index 20150b1c7f..6abfd81621 100644 --- a/xen/arch/x86/irq.c +++ b/xen/arch/x86/irq.c @@ -177,7 +177,7 @@ static int __init _bind_irq_vector(struct irq_desc *des= c, int vector, return 0; } =20 -int __init bind_irq_vector(int irq, int vector, const cpumask_t *cpu_mask) +int __init bind_irq_vector(int irq, int vector, const cpumask_t *mask) { struct irq_desc *desc =3D irq_to_desc(irq); unsigned long flags; @@ -187,7 +187,7 @@ int __init bind_irq_vector(int irq, int vector, const c= pumask_t *cpu_mask) =20 spin_lock_irqsave(&desc->lock, flags); spin_lock(&vector_lock); - ret =3D _bind_irq_vector(desc, vector, cpu_mask); + ret =3D _bind_irq_vector(desc, vector, mask); spin_unlock(&vector_lock); spin_unlock_irqrestore(&desc->lock, flags); =20 --=20 2.34.1