From nobody Sat May 18 15:08:17 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 1700210473420751.7922792084286; Fri, 17 Nov 2023 00:41:13 -0800 (PST) Received: from list by lists.xenproject.org with outflank-mailman.634877.990443 (Exim 4.92) (envelope-from ) id 1r3uP9-0004su-4B; Fri, 17 Nov 2023 08:40:47 +0000 Received: by outflank-mailman (output) from mailman id 634877.990443; Fri, 17 Nov 2023 08:40: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 1r3uP9-0004sn-0z; Fri, 17 Nov 2023 08:40:47 +0000 Received: by outflank-mailman (input) for mailman id 634877; Fri, 17 Nov 2023 08:40: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 1r3uP8-0004eV-6u for xen-devel@lists.xenproject.org; Fri, 17 Nov 2023 08:40:46 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id fe96b1de-8524-11ee-9b0e-b553b5be7939; Fri, 17 Nov 2023 09:40:43 +0100 (CET) Received: from Dell.bugseng.com (unknown [37.163.77.7]) by support.bugseng.com (Postfix) with ESMTPSA id D15834EE0C81; Fri, 17 Nov 2023 09:40:42 +0100 (CET) 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: fe96b1de-8524-11ee-9b0e-b553b5be7939 From: Federico Serafini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Federico Serafini , Jan Beulich , Andrew Cooper , George Dunlap , Julien Grall , Stefano Stabellini , Wei Liu Subject: [XEN PATCH 1/5] xen/common: address violations of MISRA C:2012 Rule 8.2 Date: Fri, 17 Nov 2023 09:40:05 +0100 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: 1700210475546100001 Content-Type: text/plain; charset="utf-8" Add missing parameter names. No functional change. Signed-off-by: Federico Serafini Acked-by: Jan Beulich Reviewed-by: Stefano Stabellini --- xen/common/efi/runtime.c | 2 +- xen/common/rangeset.c | 6 +++--- xen/common/spinlock.c | 8 ++++---- xen/common/stop_machine.c | 4 ++-- xen/common/tasklet.c | 5 +++-- xen/common/timer.c | 4 ++-- xen/include/xen/rangeset.h | 4 ++-- xen/include/xen/spinlock.h | 2 +- xen/include/xen/stop_machine.h | 2 +- xen/include/xen/tasklet.h | 7 ++++--- xen/include/xen/timer.h | 4 ++-- 11 files changed, 25 insertions(+), 23 deletions(-) diff --git a/xen/common/efi/runtime.c b/xen/common/efi/runtime.c index 5cb7504c96..d952c3ba78 100644 --- a/xen/common/efi/runtime.c +++ b/xen/common/efi/runtime.c @@ -26,7 +26,7 @@ struct efi_rs_state { }; =20 struct efi_rs_state efi_rs_enter(void); -void efi_rs_leave(struct efi_rs_state *); +void efi_rs_leave(struct efi_rs_state *state); =20 #ifndef COMPAT =20 diff --git a/xen/common/rangeset.c b/xen/common/rangeset.c index f3baf52ab6..aa3a94e053 100644 --- a/xen/common/rangeset.c +++ b/xen/common/rangeset.c @@ -288,7 +288,7 @@ bool_t rangeset_overlaps_range( =20 int rangeset_report_ranges( struct rangeset *r, unsigned long s, unsigned long e, - int (*cb)(unsigned long s, unsigned long e, void *), void *ctxt) + int (*cb)(unsigned long s, unsigned long e, void *data), void *ctxt) { struct range *x; int rc =3D 0; @@ -357,8 +357,8 @@ int rangeset_claim_range(struct rangeset *r, unsigned l= ong size, } =20 int rangeset_consume_ranges(struct rangeset *r, - int (*cb)(unsigned long s, unsigned long e, vo= id *, - unsigned long *c), + int (*cb)(unsigned long s, unsigned long e, + void *ctxt, unsigned long *c), void *ctxt) { int rc =3D 0; diff --git a/xen/common/spinlock.c b/xen/common/spinlock.c index 7f453234a9..8fa3e253c0 100644 --- a/xen/common/spinlock.c +++ b/xen/common/spinlock.c @@ -305,7 +305,7 @@ static always_inline u16 observe_head(spinlock_tickets_= t *t) } =20 static void always_inline spin_lock_common(spinlock_t *lock, - void (*cb)(void *), void *data) + void (*cb)(void *data), void *d= ata) { spinlock_tickets_t tickets =3D SPINLOCK_TICKET_INC; LOCK_PROFILE_VAR; @@ -331,7 +331,7 @@ void _spin_lock(spinlock_t *lock) spin_lock_common(lock, NULL, NULL); } =20 -void _spin_lock_cb(spinlock_t *lock, void (*cb)(void *), void *data) +void _spin_lock_cb(spinlock_t *lock, void (*cb)(void *data), void *data) { spin_lock_common(lock, cb, data); } @@ -498,8 +498,8 @@ struct lock_profile_anc { const char *name; /* descriptive string for print */ }; =20 -typedef void lock_profile_subfunc( - struct lock_profile *, int32_t, int32_t, void *); +typedef void lock_profile_subfunc(struct lock_profile *data, int32_t type, + int32_t idx, void *par); =20 extern struct lock_profile *__lock_profile_start; extern struct lock_profile *__lock_profile_end; diff --git a/xen/common/stop_machine.c b/xen/common/stop_machine.c index 3adbe380de..398cfd507c 100644 --- a/xen/common/stop_machine.c +++ b/xen/common/stop_machine.c @@ -46,7 +46,7 @@ struct stopmachine_data { =20 unsigned int fn_cpu; int fn_result; - int (*fn)(void *); + int (*fn)(void *data); void *fn_data; }; =20 @@ -73,7 +73,7 @@ static void stopmachine_wait_state(void) * mandatory to be called only on an idle vcpu, as otherwise active core * scheduling might hang. */ -int stop_machine_run(int (*fn)(void *), void *data, unsigned int cpu) +int stop_machine_run(int (*fn)(void *data), void *data, unsigned int cpu) { unsigned int i, nr_cpus; unsigned int this =3D smp_processor_id(); diff --git a/xen/common/tasklet.c b/xen/common/tasklet.c index 3ad67b5c24..3649798e6b 100644 --- a/xen/common/tasklet.c +++ b/xen/common/tasklet.c @@ -199,7 +199,7 @@ static void migrate_tasklets_from_cpu(unsigned int cpu,= struct list_head *list) spin_unlock_irqrestore(&tasklet_lock, flags); } =20 -void tasklet_init(struct tasklet *t, void (*func)(void *), void *data) +void tasklet_init(struct tasklet *t, void (*func)(void *data), void *data) { memset(t, 0, sizeof(*t)); INIT_LIST_HEAD(&t->list); @@ -208,7 +208,8 @@ void tasklet_init(struct tasklet *t, void (*func)(void = *), void *data) t->data =3D data; } =20 -void softirq_tasklet_init(struct tasklet *t, void (*func)(void *), void *d= ata) +void softirq_tasklet_init(struct tasklet *t, + void (*func)(void *data), void *data) { tasklet_init(t, func, data); t->is_softirq =3D 1; diff --git a/xen/common/timer.c b/xen/common/timer.c index 0fddfa7487..bf7792dcb3 100644 --- a/xen/common/timer.c +++ b/xen/common/timer.c @@ -291,7 +291,7 @@ static bool active_timer(const struct timer *timer) =20 void init_timer( struct timer *timer, - void (*function)(void *), + void (*function)(void *data), void *data, unsigned int cpu) { @@ -441,7 +441,7 @@ void kill_timer(struct timer *timer) =20 static void execute_timer(struct timers *ts, struct timer *t) { - void (*fn)(void *) =3D t->function; + void (*fn)(void *data) =3D t->function; void *data =3D t->data; =20 t->status =3D TIMER_STATUS_inactive; diff --git a/xen/include/xen/rangeset.h b/xen/include/xen/rangeset.h index 135f33f606..390f7b6082 100644 --- a/xen/include/xen/rangeset.h +++ b/xen/include/xen/rangeset.h @@ -68,7 +68,7 @@ bool_t __must_check rangeset_overlaps_range( struct rangeset *r, unsigned long s, unsigned long e); int rangeset_report_ranges( struct rangeset *r, unsigned long s, unsigned long e, - int (*cb)(unsigned long s, unsigned long e, void *), void *ctxt); + int (*cb)(unsigned long s, unsigned long e, void *data), void *ctxt); =20 /* * Note that the consume function can return an error value apart from @@ -77,7 +77,7 @@ int rangeset_report_ranges( */ int rangeset_consume_ranges(struct rangeset *r, int (*cb)(unsigned long s, unsigned long e, - void *, unsigned long *c), + void *ctxt, unsigned long *c), void *ctxt); =20 /* Merge rangeset r2 into rangeset r1. */ diff --git a/xen/include/xen/spinlock.h b/xen/include/xen/spinlock.h index 16d933ae7e..785ef689a0 100644 --- a/xen/include/xen/spinlock.h +++ b/xen/include/xen/spinlock.h @@ -179,7 +179,7 @@ typedef struct spinlock { #define spin_lock_init(l) (*(l) =3D (spinlock_t)SPIN_LOCK_UNLOCKED) =20 void _spin_lock(spinlock_t *lock); -void _spin_lock_cb(spinlock_t *lock, void (*cb)(void *), void *data); +void _spin_lock_cb(spinlock_t *lock, void (*cb)(void *data), void *data); void _spin_lock_irq(spinlock_t *lock); unsigned long _spin_lock_irqsave(spinlock_t *lock); =20 diff --git a/xen/include/xen/stop_machine.h b/xen/include/xen/stop_machine.h index c63da1b309..0bbf71f112 100644 --- a/xen/include/xen/stop_machine.h +++ b/xen/include/xen/stop_machine.h @@ -14,6 +14,6 @@ * * This can be thought of as a very heavy write lock, equivalent to * grabbing every spinlock in the kernel. */ -int stop_machine_run(int (*fn)(void *), void *data, unsigned int cpu); +int stop_machine_run(int (*fn)(void *data), void *data, unsigned int cpu); =20 #endif /* __XEN_STOP_MACHINE_H__ */ diff --git a/xen/include/xen/tasklet.h b/xen/include/xen/tasklet.h index 193acf8f42..59f2b522f3 100644 --- a/xen/include/xen/tasklet.h +++ b/xen/include/xen/tasklet.h @@ -21,7 +21,7 @@ struct tasklet bool_t is_softirq; bool_t is_running; bool_t is_dead; - void (*func)(void *); + void (*func)(void *data); void *data; }; =20 @@ -59,8 +59,9 @@ void tasklet_schedule_on_cpu(struct tasklet *t, unsigned = int cpu); void tasklet_schedule(struct tasklet *t); void do_tasklet(void); void tasklet_kill(struct tasklet *t); -void tasklet_init(struct tasklet *t, void (*func)(void *), void *data); -void softirq_tasklet_init(struct tasklet *t, void (*func)(void *), void *d= ata); +void tasklet_init(struct tasklet *t, void (*func)(void *data), void *data); +void softirq_tasklet_init(struct tasklet *t, + void (*func)(void *data), void *data); void tasklet_subsys_init(void); =20 #endif /* __XEN_TASKLET_H__ */ diff --git a/xen/include/xen/timer.h b/xen/include/xen/timer.h index 3a2a05c6de..fb28517515 100644 --- a/xen/include/xen/timer.h +++ b/xen/include/xen/timer.h @@ -29,7 +29,7 @@ struct timer { }; =20 /* On expiry, '(*function)(data)' will be executed in softirq context.= */ - void (*function)(void *); + void (*function)(void *data); void *data; =20 /* CPU on which this timer will be installed and executed. */ @@ -57,7 +57,7 @@ struct timer { */ void init_timer( struct timer *timer, - void (*function)(void *), + void (*function)(void *data), void *data, unsigned int cpu); =20 --=20 2.34.1 From nobody Sat May 18 15:08:17 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 1700210468509877.7910837450524; Fri, 17 Nov 2023 00:41:08 -0800 (PST) Received: from list by lists.xenproject.org with outflank-mailman.634878.990449 (Exim 4.92) (envelope-from ) id 1r3uP9-0004wH-Di; Fri, 17 Nov 2023 08:40:47 +0000 Received: by outflank-mailman (output) from mailman id 634878.990449; Fri, 17 Nov 2023 08:40: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 1r3uP9-0004vL-8e; Fri, 17 Nov 2023 08:40:47 +0000 Received: by outflank-mailman (input) for mailman id 634878; Fri, 17 Nov 2023 08:40:46 +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 1r3uP8-0004ds-CP for xen-devel@lists.xenproject.org; Fri, 17 Nov 2023 08:40:46 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 000cbb6b-8525-11ee-98dc-6d05b1d4d9a1; Fri, 17 Nov 2023 09:40:45 +0100 (CET) Received: from Dell.bugseng.com (unknown [37.163.77.7]) by support.bugseng.com (Postfix) with ESMTPSA id 0BC604EE0C87; Fri, 17 Nov 2023 09:40:43 +0100 (CET) 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: 000cbb6b-8525-11ee-98dc-6d05b1d4d9a1 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 2/5] xen/serial: address violations of MISRA C:2012 Rule 8.2 Date: Fri, 17 Nov 2023 09:40:06 +0100 Message-Id: <9fe7d6b526fef112dab314cf951662583dcbb40d.1700209834.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: 1700210469523100002 Content-Type: text/plain; charset="utf-8" Add missing parameter names. No functional change. Signed-off-by: Federico Serafini Reviewed-by: Stefano Stabellini --- xen/include/xen/serial.h | 30 +++++++++++++++--------------- 1 file changed, 15 insertions(+), 15 deletions(-) diff --git a/xen/include/xen/serial.h b/xen/include/xen/serial.h index f0aff7ea76..fc3b4883a2 100644 --- a/xen/include/xen/serial.h +++ b/xen/include/xen/serial.h @@ -15,7 +15,7 @@ struct cpu_user_regs; =20 /* Register a character-receive hook on the specified COM port. */ -typedef void (*serial_rx_fn)(char, struct cpu_user_regs *); +typedef void (*serial_rx_fn)(char c, struct cpu_user_regs *regs); void serial_set_rx_handler(int handle, serial_rx_fn fn); =20 /* Number of characters we buffer for a polling receiver. */ @@ -63,31 +63,31 @@ struct serial_port { =20 struct uart_driver { /* Driver initialisation (pre- and post-IRQ subsystem setup). */ - void (*init_preirq)(struct serial_port *); - void (*init_irq)(struct serial_port *); - void (*init_postirq)(struct serial_port *); + void (*init_preirq)(struct serial_port *port); + void (*init_irq)(struct serial_port *port); + void (*init_postirq)(struct serial_port *port); /* Hook to clean up after Xen bootstrap (before domain 0 runs). */ - void (*endboot)(struct serial_port *); + void (*endboot)(struct serial_port *port); /* Driver suspend/resume. */ - void (*suspend)(struct serial_port *); - void (*resume)(struct serial_port *); + void (*suspend)(struct serial_port *port); + void (*resume)(struct serial_port *port); /* Return number of characters the port can hold for transmit, * or -EIO if port is inaccesible */ - int (*tx_ready)(struct serial_port *); + int (*tx_ready)(struct serial_port *port); /* Put a character onto the serial line. */ - void (*putc)(struct serial_port *, char); + void (*putc)(struct serial_port *port, char c); /* Flush accumulated characters. */ - void (*flush)(struct serial_port *); + void (*flush)(struct serial_port *port); /* Get a character from the serial line: returns 0 if none available. = */ - int (*getc)(struct serial_port *, char *); + int (*getc)(struct serial_port *port, char *pc); /* Get IRQ number for this port's serial line: returns -1 if none. */ - int (*irq)(struct serial_port *); + int (*irq)(struct serial_port *port); /* Unmask TX interrupt */ - void (*start_tx)(struct serial_port *); + void (*start_tx)(struct serial_port *port); /* Mask TX interrupt */ - void (*stop_tx)(struct serial_port *); + void (*stop_tx)(struct serial_port *port); /* Get serial information */ - const struct vuart_info *(*vuart_info)(struct serial_port *); + const struct vuart_info *(*vuart_info)(struct serial_port *port); }; =20 /* 'Serial handles' are composed from the following fields. */ --=20 2.34.1 From nobody Sat May 18 15:08:17 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 1700210469881360.84402325974975; Fri, 17 Nov 2023 00:41:09 -0800 (PST) Received: from list by lists.xenproject.org with outflank-mailman.634879.990462 (Exim 4.92) (envelope-from ) id 1r3uPA-0005N5-MR; Fri, 17 Nov 2023 08:40:48 +0000 Received: by outflank-mailman (output) from mailman id 634879.990462; Fri, 17 Nov 2023 08:40:48 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1r3uPA-0005Ms-Hq; Fri, 17 Nov 2023 08:40:48 +0000 Received: by outflank-mailman (input) for mailman id 634879; Fri, 17 Nov 2023 08:40:47 +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 1r3uP9-0004ds-DW for xen-devel@lists.xenproject.org; Fri, 17 Nov 2023 08:40:47 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 00c2cc26-8525-11ee-98dc-6d05b1d4d9a1; Fri, 17 Nov 2023 09:40:47 +0100 (CET) Received: from Dell.bugseng.com (unknown [37.163.77.7]) by support.bugseng.com (Postfix) with ESMTPSA id B632A4EE0C88; Fri, 17 Nov 2023 09:40:45 +0100 (CET) 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: 00c2cc26-8525-11ee-98dc-6d05b1d4d9a1 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 3/5] xen/sort: address violations of MISRA C:2012 Rule 8.2 Date: Fri, 17 Nov 2023 09:40:07 +0100 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: 1700210471485100005 Content-Type: text/plain; charset="utf-8" Add missing parameter names. No functional change. Signed-off-by: Federico Serafini --- xen/include/xen/sort.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/xen/include/xen/sort.h b/xen/include/xen/sort.h index 2f52ff85b9..1d5e3c5849 100644 --- a/xen/include/xen/sort.h +++ b/xen/include/xen/sort.h @@ -23,8 +23,8 @@ extern gnu_inline #endif void sort(void *base, size_t num, size_t size, - int (*cmp)(const void *, const void *), - void (*swap)(void *, void *, size_t)) + int (*cmp)(const void *key, const void *elem), + void (*swap)(void *a, void *b, size_t size)) { /* pre-scale counters for performance */ size_t i =3D (num / 2) * size, n =3D num * size, c, r; --=20 2.34.1 From nobody Sat May 18 15:08:17 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 170021046994925.70081431475694; Fri, 17 Nov 2023 00:41:09 -0800 (PST) Received: from list by lists.xenproject.org with outflank-mailman.634880.990473 (Exim 4.92) (envelope-from ) id 1r3uPC-0005fL-WD; Fri, 17 Nov 2023 08:40:51 +0000 Received: by outflank-mailman (output) from mailman id 634880.990473; Fri, 17 Nov 2023 08:40: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 1r3uPC-0005f0-SJ; Fri, 17 Nov 2023 08:40:50 +0000 Received: by outflank-mailman (input) for mailman id 634880; Fri, 17 Nov 2023 08:40:49 +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 1r3uPB-0004ds-5X for xen-devel@lists.xenproject.org; Fri, 17 Nov 2023 08:40:49 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 01ce1612-8525-11ee-98dc-6d05b1d4d9a1; Fri, 17 Nov 2023 09:40:48 +0100 (CET) Received: from Dell.bugseng.com (unknown [37.163.77.7]) by support.bugseng.com (Postfix) with ESMTPSA id 286F14EE0C89; Fri, 17 Nov 2023 09:40:46 +0100 (CET) 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: 01ce1612-8525-11ee-98dc-6d05b1d4d9a1 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 4/5] xen/vmap: address violations of MISRA C:2012 Rule 8.2 Date: Fri, 17 Nov 2023 09:40:08 +0100 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: 1700210471486100006 Content-Type: text/plain; charset="utf-8" Add missing parameter names. No functional change. Signed-off-by: Federico Serafini Reviewed-by: Stefano Stabellini --- xen/include/xen/vmap.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/xen/include/xen/vmap.h b/xen/include/xen/vmap.h index b0f7632e89..2b7369e062 100644 --- a/xen/include/xen/vmap.h +++ b/xen/include/xen/vmap.h @@ -13,9 +13,9 @@ enum vmap_region { void vm_init_type(enum vmap_region type, void *start, void *end); =20 void *__vmap(const mfn_t *mfn, unsigned int granularity, unsigned int nr, - unsigned int align, unsigned int flags, enum vmap_region); + unsigned int align, unsigned int flags, enum vmap_region type= ); void *vmap(const mfn_t *mfn, unsigned int nr); -void vunmap(const void *); +void vunmap(const void *va); =20 void *vmalloc(size_t size); void *vmalloc_xen(size_t size); @@ -23,7 +23,7 @@ void *vmalloc_xen(size_t size); void *vzalloc(size_t size); void vfree(void *va); =20 -void __iomem *ioremap(paddr_t, size_t); +void __iomem *ioremap(paddr_t pa, size_t len); =20 static inline void iounmap(void __iomem *va) { --=20 2.34.1 From nobody Sat May 18 15:08:17 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 1700210476751606.7475520736101; Fri, 17 Nov 2023 00:41:16 -0800 (PST) Received: from list by lists.xenproject.org with outflank-mailman.634881.990483 (Exim 4.92) (envelope-from ) id 1r3uPF-0005xm-8s; Fri, 17 Nov 2023 08:40:53 +0000 Received: by outflank-mailman (output) from mailman id 634881.990483; Fri, 17 Nov 2023 08:40:53 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1r3uPF-0005xZ-5a; Fri, 17 Nov 2023 08:40:53 +0000 Received: by outflank-mailman (input) for mailman id 634881; Fri, 17 Nov 2023 08:40:52 +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 1r3uPE-0004eV-CN for xen-devel@lists.xenproject.org; Fri, 17 Nov 2023 08:40:52 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 02b02779-8525-11ee-9b0e-b553b5be7939; Fri, 17 Nov 2023 09:40:50 +0100 (CET) Received: from Dell.bugseng.com (unknown [37.163.77.7]) by support.bugseng.com (Postfix) with ESMTPSA id E0CA04EE074E; Fri, 17 Nov 2023 09:40:48 +0100 (CET) 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: 02b02779-8525-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 5/5] xen/xalloc: address violations of MISRA C:2012 Rule 8.2 Date: Fri, 17 Nov 2023 09:40:09 +0100 Message-Id: <9e3eddd16c53f11097fce7d5e9bf57dea7681ce1.1700209834.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: 1700210477588100003 Content-Type: text/plain; charset="utf-8" Add missing parameter names. No functional change. Signed-off-by: Federico Serafini Reviewed-by: Stefano Stabellini --- xen/include/xen/xmalloc.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/include/xen/xmalloc.h b/xen/include/xen/xmalloc.h index 16979a117c..9ecddbff5e 100644 --- a/xen/include/xen/xmalloc.h +++ b/xen/include/xen/xmalloc.h @@ -63,7 +63,7 @@ }) =20 /* Free any of the above. */ -extern void xfree(void *); +extern void xfree(void *p); =20 /* Free an allocation, and zero the pointer to it. */ #define XFREE(p) do { \ --=20 2.34.1