From patchwork Fri Nov 17 08:40:05 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Federico Serafini X-Patchwork-Id: 13458513 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 671C3C54FB9 for ; Fri, 17 Nov 2023 08:41:02 +0000 (UTC) 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 X-Outflank-Mailman: Message body and most headers restored to incoming version 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-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 Add missing parameter names. No functional change. Signed-off-by: Federico Serafini Reviewed-by: Stefano Stabellini Acked-by: Jan Beulich --- 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 { }; 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); #ifndef COMPAT 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( 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 = 0; @@ -357,8 +357,8 @@ int rangeset_claim_range(struct rangeset *r, unsigned long size, } int rangeset_consume_ranges(struct rangeset *r, - int (*cb)(unsigned long s, unsigned long e, void *, - unsigned long *c), + int (*cb)(unsigned long s, unsigned long e, + void *ctxt, unsigned long *c), void *ctxt) { int rc = 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) } static void always_inline spin_lock_common(spinlock_t *lock, - void (*cb)(void *), void *data) + void (*cb)(void *data), void *data) { spinlock_tickets_t tickets = SPINLOCK_TICKET_INC; LOCK_PROFILE_VAR; @@ -331,7 +331,7 @@ void _spin_lock(spinlock_t *lock) spin_lock_common(lock, NULL, NULL); } -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 */ }; -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); 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 { unsigned int fn_cpu; int fn_result; - int (*fn)(void *); + int (*fn)(void *data); void *fn_data; }; @@ -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 = 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); } -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 = data; } -void softirq_tasklet_init(struct tasklet *t, void (*func)(void *), void *data) +void softirq_tasklet_init(struct tasklet *t, + void (*func)(void *data), void *data) { tasklet_init(t, func, data); t->is_softirq = 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) 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) static void execute_timer(struct timers *ts, struct timer *t) { - void (*fn)(void *) = t->function; + void (*fn)(void *data) = t->function; void *data = t->data; t->status = 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); /* * 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); /* 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) = (spinlock_t)SPIN_LOCK_UNLOCKED) 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); 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); #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; }; @@ -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 *data); +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); #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 { }; /* On expiry, '(*function)(data)' will be executed in softirq context. */ - void (*function)(void *); + void (*function)(void *data); void *data; /* 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); From patchwork Fri Nov 17 08:40:06 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Federico Serafini X-Patchwork-Id: 13458510 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 835B6C072A2 for ; Fri, 17 Nov 2023 08:40:58 +0000 (UTC) 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 X-Outflank-Mailman: Message body and most headers restored to incoming version 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-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 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; /* 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); /* Number of characters we buffer for a polling receiver. */ @@ -63,31 +63,31 @@ struct serial_port { 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); }; /* 'Serial handles' are composed from the following fields. */ From patchwork Fri Nov 17 08:40:07 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Federico Serafini X-Patchwork-Id: 13458511 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 E15F8C197A0 for ; Fri, 17 Nov 2023 08:41:00 +0000 (UTC) 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 X-Outflank-Mailman: Message body and most headers restored to incoming version 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-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 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 = (num / 2) * size, n = num * size, c, r; From patchwork Fri Nov 17 08:40:08 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Federico Serafini X-Patchwork-Id: 13458512 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 849B8C5AD4C for ; Fri, 17 Nov 2023 08:40:59 +0000 (UTC) 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 X-Outflank-Mailman: Message body and most headers restored to incoming version 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-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 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); 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); 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); -void __iomem *ioremap(paddr_t, size_t); +void __iomem *ioremap(paddr_t pa, size_t len); static inline void iounmap(void __iomem *va) { From patchwork Fri Nov 17 08:40:09 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Federico Serafini X-Patchwork-Id: 13458514 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 95D4EC197A0 for ; Fri, 17 Nov 2023 08:41:03 +0000 (UTC) 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 X-Outflank-Mailman: Message body and most headers restored to incoming version 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-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 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 @@ }) /* Free any of the above. */ -extern void xfree(void *); +extern void xfree(void *p); /* Free an allocation, and zero the pointer to it. */ #define XFREE(p) do { \