* [XEN PATCH 01/11] xen/console: address violations of MISRA C:2012 Rule 8.2
2023-11-24 14:03 [XEN PATCH 00/11] xen: address violations of MISRA C:2012 Rule 8.2 Federico Serafini
@ 2023-11-24 14:03 ` Federico Serafini
2023-11-28 17:22 ` Jan Beulich
2023-11-24 14:03 ` [XEN PATCH 02/11] xen/aclinux: " Federico Serafini
` (9 subsequent siblings)
10 siblings, 1 reply; 29+ messages in thread
From: Federico Serafini @ 2023-11-24 14:03 UTC (permalink / raw)
To: xen-devel
Cc: consulting, Federico Serafini, Andrew Cooper, George Dunlap,
Jan Beulich, Julien Grall, Stefano Stabellini, Wei Liu
Add missing parameter names. No functional change.
Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
---
xen/drivers/char/console.c | 4 ++--
xen/include/xen/console.h | 2 +-
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/xen/drivers/char/console.c b/xen/drivers/char/console.c
index 946af5e625..0666564ec9 100644
--- a/xen/drivers/char/console.c
+++ b/xen/drivers/char/console.c
@@ -393,9 +393,9 @@ long read_console_ring(struct xen_sysctl_readconsole *op)
static char serial_rx_ring[SERIAL_RX_SIZE];
static unsigned int serial_rx_cons, serial_rx_prod;
-static void (*serial_steal_fn)(const char *, size_t nr) = early_puts;
+static void (*serial_steal_fn)(const char *str, size_t nr) = early_puts;
-int console_steal(int handle, void (*fn)(const char *, size_t nr))
+int console_steal(int handle, void (*fn)(const char *str, size_t nr))
{
if ( (handle == -1) || (handle != sercon_handle) )
return 0;
diff --git a/xen/include/xen/console.h b/xen/include/xen/console.h
index ab5c30c0da..68759862e8 100644
--- a/xen/include/xen/console.h
+++ b/xen/include/xen/console.h
@@ -36,7 +36,7 @@ struct domain *console_input_domain(void);
* Steal output from the console. Returns +ve identifier, else -ve error.
* Takes the handle of the serial line to steal, and steal callback function.
*/
-int console_steal(int handle, void (*fn)(const char *, size_t nr));
+int console_steal(int handle, void (*fn)(const char *str, size_t nr));
/* Give back stolen console. Takes the identifier returned by console_steal. */
void console_giveback(int id);
--
2.34.1
^ permalink raw reply related [flat|nested] 29+ messages in thread* [XEN PATCH 02/11] xen/aclinux: address violations of MISRA C:2012 Rule 8.2
2023-11-24 14:03 [XEN PATCH 00/11] xen: address violations of MISRA C:2012 Rule 8.2 Federico Serafini
2023-11-24 14:03 ` [XEN PATCH 01/11] xen/console: " Federico Serafini
@ 2023-11-24 14:03 ` Federico Serafini
2023-11-28 17:23 ` Jan Beulich
2023-11-24 14:03 ` [XEN PATCH 03/11] xen/cpumask: " Federico Serafini
` (8 subsequent siblings)
10 siblings, 1 reply; 29+ messages in thread
From: Federico Serafini @ 2023-11-24 14:03 UTC (permalink / raw)
To: xen-devel; +Cc: consulting, Federico Serafini, Jan Beulich
Add missing parameter names. No functional change.
Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
---
xen/include/acpi/platform/aclinux.h | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/xen/include/acpi/platform/aclinux.h b/xen/include/acpi/platform/aclinux.h
index 9e572460dc..f5e0a6108e 100644
--- a/xen/include/acpi/platform/aclinux.h
+++ b/xen/include/acpi/platform/aclinux.h
@@ -75,9 +75,9 @@
#define acpi_thread_id struct vcpu *
-void *acpi_os_alloc_memory(size_t);
-void *acpi_os_zalloc_memory(size_t);
-void acpi_os_free_memory(void *);
+void *acpi_os_alloc_memory(size_t sz);
+void *acpi_os_zalloc_memory(size_t sz);
+void acpi_os_free_memory(void *ptr);
#define ACPI_ALLOCATE(a) acpi_os_alloc_memory(a)
#define ACPI_ALLOCATE_ZEROED(a) acpi_os_zalloc_memory(a)
--
2.34.1
^ permalink raw reply related [flat|nested] 29+ messages in thread* Re: [XEN PATCH 02/11] xen/aclinux: address violations of MISRA C:2012 Rule 8.2
2023-11-24 14:03 ` [XEN PATCH 02/11] xen/aclinux: " Federico Serafini
@ 2023-11-28 17:23 ` Jan Beulich
0 siblings, 0 replies; 29+ messages in thread
From: Jan Beulich @ 2023-11-28 17:23 UTC (permalink / raw)
To: Federico Serafini; +Cc: consulting, xen-devel
On 24.11.2023 15:03, Federico Serafini wrote:
> Add missing parameter names. No functional change.
>
> Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
Albeit as to the subject: There's no component named "aclinux" in Xen.
I think this wants to be "acpi".
Jan
^ permalink raw reply [flat|nested] 29+ messages in thread
* [XEN PATCH 03/11] xen/cpumask: address violations of MISRA C:2012 Rule 8.2
2023-11-24 14:03 [XEN PATCH 00/11] xen: address violations of MISRA C:2012 Rule 8.2 Federico Serafini
2023-11-24 14:03 ` [XEN PATCH 01/11] xen/console: " Federico Serafini
2023-11-24 14:03 ` [XEN PATCH 02/11] xen/aclinux: " Federico Serafini
@ 2023-11-24 14:03 ` Federico Serafini
2023-11-28 17:24 ` Jan Beulich
2023-11-24 14:03 ` [XEN PATCH 04/11] xen/dmi: address a violation " Federico Serafini
` (7 subsequent siblings)
10 siblings, 1 reply; 29+ messages in thread
From: Federico Serafini @ 2023-11-24 14:03 UTC (permalink / raw)
To: xen-devel
Cc: consulting, Federico Serafini, Andrew Cooper, George Dunlap,
Jan Beulich, Julien Grall, Stefano Stabellini, Wei Liu
Add missing parameter names. No functional change.
Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
---
xen/include/xen/cpumask.h | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/xen/include/xen/cpumask.h b/xen/include/xen/cpumask.h
index 9826707909..145e140481 100644
--- a/xen/include/xen/cpumask.h
+++ b/xen/include/xen/cpumask.h
@@ -460,7 +460,9 @@ extern cpumask_t cpu_present_map;
/* Copy to/from cpumap provided by control tools. */
struct xenctl_bitmap;
-int cpumask_to_xenctl_bitmap(struct xenctl_bitmap *, const cpumask_t *);
-int xenctl_bitmap_to_cpumask(cpumask_var_t *, const struct xenctl_bitmap *);
+int cpumask_to_xenctl_bitmap(struct xenctl_bitmap *xenctl_cpumap,
+ const cpumask_t *cpumask);
+int xenctl_bitmap_to_cpumask(cpumask_var_t *cpumask,
+ const struct xenctl_bitmap *xenctl_cpumap);
#endif /* __XEN_CPUMASK_H */
--
2.34.1
^ permalink raw reply related [flat|nested] 29+ messages in thread* Re: [XEN PATCH 03/11] xen/cpumask: address violations of MISRA C:2012 Rule 8.2
2023-11-24 14:03 ` [XEN PATCH 03/11] xen/cpumask: " Federico Serafini
@ 2023-11-28 17:24 ` Jan Beulich
0 siblings, 0 replies; 29+ messages in thread
From: Jan Beulich @ 2023-11-28 17:24 UTC (permalink / raw)
To: Federico Serafini
Cc: consulting, Andrew Cooper, George Dunlap, Julien Grall,
Stefano Stabellini, Wei Liu, xen-devel
On 24.11.2023 15:03, Federico Serafini wrote:
> Add missing parameter names. No functional change.
>
> Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
irrespective of this being one of the examples where types alone are
entirely sufficient and descriptive.
Jan
> --- a/xen/include/xen/cpumask.h
> +++ b/xen/include/xen/cpumask.h
> @@ -460,7 +460,9 @@ extern cpumask_t cpu_present_map;
>
> /* Copy to/from cpumap provided by control tools. */
> struct xenctl_bitmap;
> -int cpumask_to_xenctl_bitmap(struct xenctl_bitmap *, const cpumask_t *);
> -int xenctl_bitmap_to_cpumask(cpumask_var_t *, const struct xenctl_bitmap *);
> +int cpumask_to_xenctl_bitmap(struct xenctl_bitmap *xenctl_cpumap,
> + const cpumask_t *cpumask);
> +int xenctl_bitmap_to_cpumask(cpumask_var_t *cpumask,
> + const struct xenctl_bitmap *xenctl_cpumap);
>
> #endif /* __XEN_CPUMASK_H */
^ permalink raw reply [flat|nested] 29+ messages in thread
* [XEN PATCH 04/11] xen/dmi: address a violation of MISRA C:2012 Rule 8.2
2023-11-24 14:03 [XEN PATCH 00/11] xen: address violations of MISRA C:2012 Rule 8.2 Federico Serafini
` (2 preceding siblings ...)
2023-11-24 14:03 ` [XEN PATCH 03/11] xen/cpumask: " Federico Serafini
@ 2023-11-24 14:03 ` Federico Serafini
2023-11-28 17:25 ` Jan Beulich
2023-11-24 14:03 ` [XEN PATCH 05/11] xen/domain: address violations " Federico Serafini
` (6 subsequent siblings)
10 siblings, 1 reply; 29+ messages in thread
From: Federico Serafini @ 2023-11-24 14:03 UTC (permalink / raw)
To: xen-devel
Cc: consulting, Federico Serafini, Andrew Cooper, George Dunlap,
Jan Beulich, Julien Grall, Stefano Stabellini, Wei Liu
Add missing parameter name. No functional change.
Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
---
xen/include/xen/dmi.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/xen/include/xen/dmi.h b/xen/include/xen/dmi.h
index 71a5c46dc6..0fef41842e 100644
--- a/xen/include/xen/dmi.h
+++ b/xen/include/xen/dmi.h
@@ -24,7 +24,7 @@ struct dmi_strmatch {
};
struct dmi_system_id {
- int (*callback)(const struct dmi_system_id *);
+ int (*callback)(const struct dmi_system_id *d);
const char *ident;
struct dmi_strmatch matches[4];
void *driver_data;
--
2.34.1
^ permalink raw reply related [flat|nested] 29+ messages in thread* [XEN PATCH 05/11] xen/domain: address violations of MISRA C:2012 Rule 8.2
2023-11-24 14:03 [XEN PATCH 00/11] xen: address violations of MISRA C:2012 Rule 8.2 Federico Serafini
` (3 preceding siblings ...)
2023-11-24 14:03 ` [XEN PATCH 04/11] xen/dmi: address a violation " Federico Serafini
@ 2023-11-24 14:03 ` Federico Serafini
2023-11-30 15:58 ` Jan Beulich
2023-12-01 2:28 ` Stefano Stabellini
2023-11-24 14:03 ` [XEN PATCH 06/11] xen/notifier: " Federico Serafini
` (5 subsequent siblings)
10 siblings, 2 replies; 29+ messages in thread
From: Federico Serafini @ 2023-11-24 14:03 UTC (permalink / raw)
To: xen-devel
Cc: consulting, Federico Serafini, Andrew Cooper, George Dunlap,
Jan Beulich, Julien Grall, Stefano Stabellini, Wei Liu
Add missing parameter names. No functional change.
Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
---
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);
--
2.34.1
^ permalink raw reply related [flat|nested] 29+ messages in thread* Re: [XEN PATCH 05/11] xen/domain: address violations of MISRA C:2012 Rule 8.2
2023-11-24 14:03 ` [XEN PATCH 05/11] xen/domain: address violations " Federico Serafini
@ 2023-11-30 15:58 ` Jan Beulich
2023-12-01 2:28 ` Stefano Stabellini
1 sibling, 0 replies; 29+ messages in thread
From: Jan Beulich @ 2023-11-30 15:58 UTC (permalink / raw)
To: Federico Serafini
Cc: consulting, Andrew Cooper, George Dunlap, Julien Grall,
Stefano Stabellini, Wei Liu, xen-devel
On 24.11.2023 15:03, Federico Serafini wrote:
> Add missing parameter names. No functional change.
>
> Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
^ permalink raw reply [flat|nested] 29+ messages in thread
* Re: [XEN PATCH 05/11] xen/domain: address violations of MISRA C:2012 Rule 8.2
2023-11-24 14:03 ` [XEN PATCH 05/11] xen/domain: address violations " Federico Serafini
2023-11-30 15:58 ` Jan Beulich
@ 2023-12-01 2:28 ` Stefano Stabellini
1 sibling, 0 replies; 29+ messages in thread
From: Stefano Stabellini @ 2023-12-01 2:28 UTC (permalink / raw)
To: Federico Serafini
Cc: xen-devel, consulting, Andrew Cooper, George Dunlap, Jan Beulich,
Julien Grall, Stefano Stabellini, Wei Liu
On Fri, 24 Nov 2023, Federico Serafini wrote:
> Add missing parameter names. No functional change.
>
> Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
^ permalink raw reply [flat|nested] 29+ messages in thread
* [XEN PATCH 06/11] xen/notifier: address violations of MISRA C:2012 Rule 8.2
2023-11-24 14:03 [XEN PATCH 00/11] xen: address violations of MISRA C:2012 Rule 8.2 Federico Serafini
` (4 preceding siblings ...)
2023-11-24 14:03 ` [XEN PATCH 05/11] xen/domain: address violations " Federico Serafini
@ 2023-11-24 14:03 ` Federico Serafini
2023-11-30 15:58 ` Jan Beulich
2023-12-01 2:29 ` Stefano Stabellini
2023-11-24 14:03 ` [XEN PATCH 07/11] xen/iommu: " Federico Serafini
` (4 subsequent siblings)
10 siblings, 2 replies; 29+ messages in thread
From: Federico Serafini @ 2023-11-24 14:03 UTC (permalink / raw)
To: xen-devel
Cc: consulting, Federico Serafini, Andrew Cooper, George Dunlap,
Jan Beulich, Julien Grall, Stefano Stabellini, Wei Liu
Add missing parameter names. No functional change.
Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
---
xen/include/xen/notifier.h | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/xen/include/xen/notifier.h b/xen/include/xen/notifier.h
index 51453c1552..2a952484df 100644
--- a/xen/include/xen/notifier.h
+++ b/xen/include/xen/notifier.h
@@ -23,7 +23,8 @@
*/
struct notifier_block {
- int (*notifier_call)(struct notifier_block *, unsigned long, void *);
+ int (*notifier_call)(struct notifier_block *nfb, unsigned long action,
+ void *hcpu);
struct list_head chain;
int priority;
};
--
2.34.1
^ permalink raw reply related [flat|nested] 29+ messages in thread* Re: [XEN PATCH 06/11] xen/notifier: address violations of MISRA C:2012 Rule 8.2
2023-11-24 14:03 ` [XEN PATCH 06/11] xen/notifier: " Federico Serafini
@ 2023-11-30 15:58 ` Jan Beulich
2023-12-01 2:29 ` Stefano Stabellini
1 sibling, 0 replies; 29+ messages in thread
From: Jan Beulich @ 2023-11-30 15:58 UTC (permalink / raw)
To: Federico Serafini
Cc: consulting, Andrew Cooper, George Dunlap, Julien Grall,
Stefano Stabellini, Wei Liu, xen-devel
On 24.11.2023 15:03, Federico Serafini wrote:
> Add missing parameter names. No functional change.
>
> Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
^ permalink raw reply [flat|nested] 29+ messages in thread
* Re: [XEN PATCH 06/11] xen/notifier: address violations of MISRA C:2012 Rule 8.2
2023-11-24 14:03 ` [XEN PATCH 06/11] xen/notifier: " Federico Serafini
2023-11-30 15:58 ` Jan Beulich
@ 2023-12-01 2:29 ` Stefano Stabellini
1 sibling, 0 replies; 29+ messages in thread
From: Stefano Stabellini @ 2023-12-01 2:29 UTC (permalink / raw)
To: Federico Serafini
Cc: xen-devel, consulting, Andrew Cooper, George Dunlap, Jan Beulich,
Julien Grall, Stefano Stabellini, Wei Liu
On Fri, 24 Nov 2023, Federico Serafini wrote:
> Add missing parameter names. No functional change.
>
> Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
^ permalink raw reply [flat|nested] 29+ messages in thread
* [XEN PATCH 07/11] xen/iommu: address violations of MISRA C:2012 Rule 8.2
2023-11-24 14:03 [XEN PATCH 00/11] xen: address violations of MISRA C:2012 Rule 8.2 Federico Serafini
` (5 preceding siblings ...)
2023-11-24 14:03 ` [XEN PATCH 06/11] xen/notifier: " Federico Serafini
@ 2023-11-24 14:03 ` Federico Serafini
2023-11-30 15:59 ` Jan Beulich
2023-11-24 14:03 ` [XEN PATCH 08/11] xen/kernel: address a violation " Federico Serafini
` (3 subsequent siblings)
10 siblings, 1 reply; 29+ messages in thread
From: Federico Serafini @ 2023-11-24 14:03 UTC (permalink / raw)
To: xen-devel
Cc: consulting, Federico Serafini, Jan Beulich, Paul Durrant,
Roger Pau Monné
Add missing parameter names to address violations of MISRA C:2012
Rule 8.2 and remove uses of u{8,16,32} in favor of C standard types.
No functional change.
Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
---
xen/include/xen/iommu.h | 13 +++++++------
1 file changed, 7 insertions(+), 6 deletions(-)
diff --git a/xen/include/xen/iommu.h b/xen/include/xen/iommu.h
index d5c2577091..69d572543c 100644
--- a/xen/include/xen/iommu.h
+++ b/xen/include/xen/iommu.h
@@ -262,14 +262,15 @@ struct iommu_ops {
int (*init)(struct domain *d);
void (*hwdom_init)(struct domain *d);
int (*quarantine_init)(device_t *dev, bool scratch_page);
- int (*add_device)(u8 devfn, device_t *dev);
+ int (*add_device)(uint8_t devfn, device_t *dev);
int (*enable_device)(device_t *dev);
- int (*remove_device)(u8 devfn, device_t *dev);
- int (*assign_device)(struct domain *, u8 devfn, device_t *dev, u32 flag);
+ int (*remove_device)(uint8_t devfn, device_t *dev);
+ int (*assign_device)(struct domain *d, uint8_t devfn, device_t *dev,
+ uint32_t flag);
int (*reassign_device)(struct domain *s, struct domain *t,
- u8 devfn, device_t *dev);
+ uint8_t devfn, device_t *dev);
#ifdef CONFIG_HAS_PCI
- int (*get_device_group_id)(u16 seg, u8 bus, u8 devfn);
+ int (*get_device_group_id)(uint16_t seg, uint8_t bus, uint8_t devfn);
#endif /* HAS_PCI */
void (*teardown)(struct domain *d);
@@ -308,7 +309,7 @@ struct iommu_ops {
int __must_check (*iotlb_flush)(struct domain *d, dfn_t dfn,
unsigned long page_count,
unsigned int flush_flags);
- int (*get_reserved_device_memory)(iommu_grdm_t *, void *);
+ int (*get_reserved_device_memory)(iommu_grdm_t *func, void *ctxt);
void (*dump_page_tables)(struct domain *d);
#ifdef CONFIG_HAS_DEVICE_TREE
--
2.34.1
^ permalink raw reply related [flat|nested] 29+ messages in thread* Re: [XEN PATCH 07/11] xen/iommu: address violations of MISRA C:2012 Rule 8.2
2023-11-24 14:03 ` [XEN PATCH 07/11] xen/iommu: " Federico Serafini
@ 2023-11-30 15:59 ` Jan Beulich
0 siblings, 0 replies; 29+ messages in thread
From: Jan Beulich @ 2023-11-30 15:59 UTC (permalink / raw)
To: Federico Serafini
Cc: consulting, Paul Durrant, Roger Pau Monné, xen-devel
On 24.11.2023 15:03, Federico Serafini wrote:
> Add missing parameter names to address violations of MISRA C:2012
> Rule 8.2 and remove uses of u{8,16,32} in favor of C standard types.
> No functional change.
>
> Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
^ permalink raw reply [flat|nested] 29+ messages in thread
* [XEN PATCH 08/11] xen/kernel: address a violation of MISRA C:2012 Rule 8.2
2023-11-24 14:03 [XEN PATCH 00/11] xen: address violations of MISRA C:2012 Rule 8.2 Federico Serafini
` (6 preceding siblings ...)
2023-11-24 14:03 ` [XEN PATCH 07/11] xen/iommu: " Federico Serafini
@ 2023-11-24 14:03 ` Federico Serafini
2023-11-30 16:00 ` Jan Beulich
2023-12-01 2:30 ` Stefano Stabellini
2023-11-24 14:03 ` [XEN PATCH 09/11] xen/param: " Federico Serafini
` (2 subsequent siblings)
10 siblings, 2 replies; 29+ messages in thread
From: Federico Serafini @ 2023-11-24 14:03 UTC (permalink / raw)
To: xen-devel
Cc: consulting, Federico Serafini, Andrew Cooper, George Dunlap,
Jan Beulich, Julien Grall, Stefano Stabellini, Wei Liu
Add missing parameter name. No functional change.
Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
---
xen/include/xen/kernel.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/xen/include/xen/kernel.h b/xen/include/xen/kernel.h
index 560b1c2832..6bbd4a2827 100644
--- a/xen/include/xen/kernel.h
+++ b/xen/include/xen/kernel.h
@@ -112,7 +112,7 @@ struct vcpu;
void show_execution_state(const struct cpu_user_regs *regs);
void cf_check show_execution_state_nonconst(struct cpu_user_regs *regs);
-void vcpu_show_execution_state(struct vcpu *);
+void vcpu_show_execution_state(struct vcpu *v);
#endif /* _LINUX_KERNEL_H */
--
2.34.1
^ permalink raw reply related [flat|nested] 29+ messages in thread* Re: [XEN PATCH 08/11] xen/kernel: address a violation of MISRA C:2012 Rule 8.2
2023-11-24 14:03 ` [XEN PATCH 08/11] xen/kernel: address a violation " Federico Serafini
@ 2023-11-30 16:00 ` Jan Beulich
2023-12-01 2:30 ` Stefano Stabellini
1 sibling, 0 replies; 29+ messages in thread
From: Jan Beulich @ 2023-11-30 16:00 UTC (permalink / raw)
To: Federico Serafini
Cc: consulting, Andrew Cooper, George Dunlap, Julien Grall,
Stefano Stabellini, Wei Liu, xen-devel
On 24.11.2023 15:03, Federico Serafini wrote:
> Add missing parameter name. No functional change.
>
> Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
^ permalink raw reply [flat|nested] 29+ messages in thread
* Re: [XEN PATCH 08/11] xen/kernel: address a violation of MISRA C:2012 Rule 8.2
2023-11-24 14:03 ` [XEN PATCH 08/11] xen/kernel: address a violation " Federico Serafini
2023-11-30 16:00 ` Jan Beulich
@ 2023-12-01 2:30 ` Stefano Stabellini
1 sibling, 0 replies; 29+ messages in thread
From: Stefano Stabellini @ 2023-12-01 2:30 UTC (permalink / raw)
To: Federico Serafini
Cc: xen-devel, consulting, Andrew Cooper, George Dunlap, Jan Beulich,
Julien Grall, Stefano Stabellini, Wei Liu
On Fri, 24 Nov 2023, Federico Serafini wrote:
> Add missing parameter name. No functional change.
>
> Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
^ permalink raw reply [flat|nested] 29+ messages in thread
* [XEN PATCH 09/11] xen/param: address a violation of MISRA C:2012 Rule 8.2
2023-11-24 14:03 [XEN PATCH 00/11] xen: address violations of MISRA C:2012 Rule 8.2 Federico Serafini
` (7 preceding siblings ...)
2023-11-24 14:03 ` [XEN PATCH 08/11] xen/kernel: address a violation " Federico Serafini
@ 2023-11-24 14:03 ` Federico Serafini
2023-11-30 16:29 ` Jan Beulich
2023-12-01 2:32 ` Stefano Stabellini
2023-11-24 14:03 ` [XEN PATCH 10/11] xen/perfc: " Federico Serafini
2023-11-24 14:03 ` [XEN PATCH 11/11] xen/serial: " Federico Serafini
10 siblings, 2 replies; 29+ messages in thread
From: Federico Serafini @ 2023-11-24 14:03 UTC (permalink / raw)
To: xen-devel
Cc: consulting, Federico Serafini, Andrew Cooper, George Dunlap,
Jan Beulich, Julien Grall, Stefano Stabellini, Wei Liu
Add missing parameter name. No functional change.
Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
---
xen/include/xen/param.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/xen/include/xen/param.h b/xen/include/xen/param.h
index 93c3fe7cb7..9170455cde 100644
--- a/xen/include/xen/param.h
+++ b/xen/include/xen/param.h
@@ -22,7 +22,7 @@ struct kernel_param {
unsigned int len;
union {
void *var;
- int (*func)(const char *);
+ int (*func)(const char *s);
} par;
};
--
2.34.1
^ permalink raw reply related [flat|nested] 29+ messages in thread* Re: [XEN PATCH 09/11] xen/param: address a violation of MISRA C:2012 Rule 8.2
2023-11-24 14:03 ` [XEN PATCH 09/11] xen/param: " Federico Serafini
@ 2023-11-30 16:29 ` Jan Beulich
2023-12-01 2:32 ` Stefano Stabellini
1 sibling, 0 replies; 29+ messages in thread
From: Jan Beulich @ 2023-11-30 16:29 UTC (permalink / raw)
To: Federico Serafini, Stefano Stabellini
Cc: consulting, Andrew Cooper, George Dunlap, Julien Grall, Wei Liu,
xen-devel
On 24.11.2023 15:03, Federico Serafini wrote:
> Add missing parameter name. No functional change.
>
> Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
> --- a/xen/include/xen/param.h
> +++ b/xen/include/xen/param.h
> @@ -22,7 +22,7 @@ struct kernel_param {
> unsigned int len;
> union {
> void *var;
> - int (*func)(const char *);
> + int (*func)(const char *s);
Still I again wonder what good this name does us here.
Jan
^ permalink raw reply [flat|nested] 29+ messages in thread* Re: [XEN PATCH 09/11] xen/param: address a violation of MISRA C:2012 Rule 8.2
2023-11-24 14:03 ` [XEN PATCH 09/11] xen/param: " Federico Serafini
2023-11-30 16:29 ` Jan Beulich
@ 2023-12-01 2:32 ` Stefano Stabellini
1 sibling, 0 replies; 29+ messages in thread
From: Stefano Stabellini @ 2023-12-01 2:32 UTC (permalink / raw)
To: Federico Serafini
Cc: xen-devel, consulting, Andrew Cooper, George Dunlap, Jan Beulich,
Julien Grall, Stefano Stabellini, Wei Liu
On Fri, 24 Nov 2023, Federico Serafini wrote:
> Add missing parameter name. No functional change.
>
> Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
^ permalink raw reply [flat|nested] 29+ messages in thread
* [XEN PATCH 10/11] xen/perfc: address a violation of MISRA C:2012 Rule 8.2
2023-11-24 14:03 [XEN PATCH 00/11] xen: address violations of MISRA C:2012 Rule 8.2 Federico Serafini
` (8 preceding siblings ...)
2023-11-24 14:03 ` [XEN PATCH 09/11] xen/param: " Federico Serafini
@ 2023-11-24 14:03 ` Federico Serafini
2023-11-30 16:35 ` Jan Beulich
2023-12-01 2:33 ` Stefano Stabellini
2023-11-24 14:03 ` [XEN PATCH 11/11] xen/serial: " Federico Serafini
10 siblings, 2 replies; 29+ messages in thread
From: Federico Serafini @ 2023-11-24 14:03 UTC (permalink / raw)
To: xen-devel
Cc: consulting, Federico Serafini, Andrew Cooper, George Dunlap,
Jan Beulich, Julien Grall, Stefano Stabellini, Wei Liu
Add missing parameter name. No functional change.
Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
---
xen/include/xen/perfc.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/xen/include/xen/perfc.h b/xen/include/xen/perfc.h
index 96022c0748..f9009dc388 100644
--- a/xen/include/xen/perfc.h
+++ b/xen/include/xen/perfc.h
@@ -94,7 +94,7 @@ DECLARE_PER_CPU(perfc_t[NUM_PERFCOUNTERS], perfcounters);
#endif
struct xen_sysctl_perfc_op;
-int perfc_control(struct xen_sysctl_perfc_op *);
+int perfc_control(struct xen_sysctl_perfc_op *pc);
extern void cf_check perfc_printall(unsigned char key);
extern void cf_check perfc_reset(unsigned char key);
--
2.34.1
^ permalink raw reply related [flat|nested] 29+ messages in thread* Re: [XEN PATCH 10/11] xen/perfc: address a violation of MISRA C:2012 Rule 8.2
2023-11-24 14:03 ` [XEN PATCH 10/11] xen/perfc: " Federico Serafini
@ 2023-11-30 16:35 ` Jan Beulich
2023-12-01 2:33 ` Stefano Stabellini
1 sibling, 0 replies; 29+ messages in thread
From: Jan Beulich @ 2023-11-30 16:35 UTC (permalink / raw)
To: Federico Serafini
Cc: consulting, Andrew Cooper, George Dunlap, Julien Grall,
Stefano Stabellini, Wei Liu, xen-devel
On 24.11.2023 15:03, Federico Serafini wrote:
> Add missing parameter name. No functional change.
>
> Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
^ permalink raw reply [flat|nested] 29+ messages in thread
* Re: [XEN PATCH 10/11] xen/perfc: address a violation of MISRA C:2012 Rule 8.2
2023-11-24 14:03 ` [XEN PATCH 10/11] xen/perfc: " Federico Serafini
2023-11-30 16:35 ` Jan Beulich
@ 2023-12-01 2:33 ` Stefano Stabellini
1 sibling, 0 replies; 29+ messages in thread
From: Stefano Stabellini @ 2023-12-01 2:33 UTC (permalink / raw)
To: Federico Serafini
Cc: xen-devel, consulting, Andrew Cooper, George Dunlap, Jan Beulich,
Julien Grall, Stefano Stabellini, Wei Liu
On Fri, 24 Nov 2023, Federico Serafini wrote:
> Add missing parameter name. No functional change.
>
> Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
^ permalink raw reply [flat|nested] 29+ messages in thread
* [XEN PATCH 11/11] xen/serial: address a violation of MISRA C:2012 Rule 8.2
2023-11-24 14:03 [XEN PATCH 00/11] xen: address violations of MISRA C:2012 Rule 8.2 Federico Serafini
` (9 preceding siblings ...)
2023-11-24 14:03 ` [XEN PATCH 10/11] xen/perfc: " Federico Serafini
@ 2023-11-24 14:03 ` Federico Serafini
2023-11-30 16:35 ` Jan Beulich
2023-12-01 2:34 ` Stefano Stabellini
10 siblings, 2 replies; 29+ messages in thread
From: Federico Serafini @ 2023-11-24 14:03 UTC (permalink / raw)
To: xen-devel
Cc: consulting, Federico Serafini, Andrew Cooper, George Dunlap,
Jan Beulich, Julien Grall, Stefano Stabellini, Wei Liu
Add missing parameter name. No functional change.
Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
---
In my previous patch for serial.h I missed one parameter: sorry for that.
---
xen/include/xen/serial.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/xen/include/xen/serial.h b/xen/include/xen/serial.h
index 8d64fb5e86..870ca2f6eb 100644
--- a/xen/include/xen/serial.h
+++ b/xen/include/xen/serial.h
@@ -181,7 +181,7 @@ static void inline xhci_dbc_uart_init(void) {};
void arm_uart_init(void);
struct physdev_dbgp_op;
-int dbgp_op(const struct physdev_dbgp_op *);
+int dbgp_op(const struct physdev_dbgp_op *op);
/* Baud rate was pre-configured before invoking the UART driver. */
#define BAUD_AUTO (-1)
--
2.34.1
^ permalink raw reply related [flat|nested] 29+ messages in thread* Re: [XEN PATCH 11/11] xen/serial: address a violation of MISRA C:2012 Rule 8.2
2023-11-24 14:03 ` [XEN PATCH 11/11] xen/serial: " Federico Serafini
@ 2023-11-30 16:35 ` Jan Beulich
2023-12-01 2:34 ` Stefano Stabellini
1 sibling, 0 replies; 29+ messages in thread
From: Jan Beulich @ 2023-11-30 16:35 UTC (permalink / raw)
To: Federico Serafini
Cc: consulting, Andrew Cooper, George Dunlap, Julien Grall,
Stefano Stabellini, Wei Liu, xen-devel
On 24.11.2023 15:03, Federico Serafini wrote:
> Add missing parameter name. No functional change.
>
> Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
^ permalink raw reply [flat|nested] 29+ messages in thread
* Re: [XEN PATCH 11/11] xen/serial: address a violation of MISRA C:2012 Rule 8.2
2023-11-24 14:03 ` [XEN PATCH 11/11] xen/serial: " Federico Serafini
2023-11-30 16:35 ` Jan Beulich
@ 2023-12-01 2:34 ` Stefano Stabellini
1 sibling, 0 replies; 29+ messages in thread
From: Stefano Stabellini @ 2023-12-01 2:34 UTC (permalink / raw)
To: Federico Serafini
Cc: xen-devel, consulting, Andrew Cooper, George Dunlap, Jan Beulich,
Julien Grall, Stefano Stabellini, Wei Liu
On Fri, 24 Nov 2023, Federico Serafini wrote:
> Add missing parameter name. No functional change.
>
> Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
^ permalink raw reply [flat|nested] 29+ messages in thread