* [XEN PATCH 1/7] x86/mctelem: address violations of MISRA C:2012 Rule 8.2
2023-10-18 14:25 [XEN PATCH 0/7] x86: address some violations of MISRA C:2012 Rule 8.2 Federico Serafini
@ 2023-10-18 14:25 ` Federico Serafini
2023-10-23 14:12 ` Jan Beulich
2023-10-18 14:25 ` [XEN PATCH 2/7] x86/mtrr: address violation " Federico Serafini
` (5 subsequent siblings)
6 siblings, 1 reply; 15+ messages in thread
From: Federico Serafini @ 2023-10-18 14:25 UTC (permalink / raw)
To: xen-devel
Cc: consulting, Federico Serafini, Jan Beulich, Andrew Cooper,
Roger Pau Monné, Wei Liu
Add missing parameter names. No functional change.
Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
---
xen/arch/x86/cpu/mcheck/mctelem.c | 2 +-
xen/arch/x86/cpu/mcheck/mctelem.h | 25 +++++++++++++------------
2 files changed, 14 insertions(+), 13 deletions(-)
diff --git a/xen/arch/x86/cpu/mcheck/mctelem.c b/xen/arch/x86/cpu/mcheck/mctelem.c
index 77a4d1d5ff..b8d0368a7d 100644
--- a/xen/arch/x86/cpu/mcheck/mctelem.c
+++ b/xen/arch/x86/cpu/mcheck/mctelem.c
@@ -208,7 +208,7 @@ void mctelem_defer(mctelem_cookie_t cookie, bool lmce)
* @lmce: indicate which pending list on @cpu is handled
*/
void mctelem_process_deferred(unsigned int cpu,
- int (*fn)(mctelem_cookie_t),
+ int (*fn)(mctelem_cookie_t mctc),
bool lmce)
{
struct mctelem_ent *tep;
diff --git a/xen/arch/x86/cpu/mcheck/mctelem.h b/xen/arch/x86/cpu/mcheck/mctelem.h
index 21b251847b..f4c5ff848d 100644
--- a/xen/arch/x86/cpu/mcheck/mctelem.h
+++ b/xen/arch/x86/cpu/mcheck/mctelem.h
@@ -60,18 +60,19 @@ typedef enum mctelem_class {
MC_NCLASSES
} mctelem_class_t;
-extern void mctelem_init(unsigned int);
-extern mctelem_cookie_t mctelem_reserve(mctelem_class_t);
-extern void *mctelem_dataptr(mctelem_cookie_t);
-extern void mctelem_commit(mctelem_cookie_t);
-extern void mctelem_dismiss(mctelem_cookie_t);
-extern mctelem_cookie_t mctelem_consume_oldest_begin(mctelem_class_t);
-extern void mctelem_consume_oldest_end(mctelem_cookie_t);
-extern void mctelem_ack(mctelem_class_t, mctelem_cookie_t);
-extern void mctelem_defer(mctelem_cookie_t, bool lmce);
-extern void mctelem_process_deferred(unsigned int,
- int (*)(mctelem_cookie_t), bool lmce);
-bool mctelem_has_deferred(unsigned int);
+extern void mctelem_init(unsigned int datasz);
+extern mctelem_cookie_t mctelem_reserve(mctelem_class_t which);
+extern void *mctelem_dataptr(mctelem_cookie_t cookie);
+extern void mctelem_commit(mctelem_cookie_t cookie);
+extern void mctelem_dismiss(mctelem_cookie_t cookie);
+extern mctelem_cookie_t mctelem_consume_oldest_begin(mctelem_class_t which);
+extern void mctelem_consume_oldest_end(mctelem_cookie_t cookie);
+extern void mctelem_ack(mctelem_class_t which, mctelem_cookie_t cookie);
+extern void mctelem_defer(mctelem_cookie_t cookie, bool lmce);
+extern void mctelem_process_deferred(unsigned int cpu,
+ int (*fn)(mctelem_cookie_t mctc),
+ bool lmce);
+bool mctelem_has_deferred(unsigned int cpu);
bool mctelem_has_deferred_lmce(unsigned int cpu);
#endif
--
2.34.1
^ permalink raw reply related [flat|nested] 15+ messages in thread* [XEN PATCH 2/7] x86/mtrr: address violation of MISRA C:2012 Rule 8.2
2023-10-18 14:25 [XEN PATCH 0/7] x86: address some violations of MISRA C:2012 Rule 8.2 Federico Serafini
2023-10-18 14:25 ` [XEN PATCH 1/7] x86/mctelem: address " Federico Serafini
@ 2023-10-18 14:25 ` Federico Serafini
2023-10-23 14:13 ` Jan Beulich
2023-10-18 14:25 ` [XEN PATCH 3/7] x86/domain: address violations " Federico Serafini
` (4 subsequent siblings)
6 siblings, 1 reply; 15+ messages in thread
From: Federico Serafini @ 2023-10-18 14:25 UTC (permalink / raw)
To: xen-devel
Cc: consulting, Federico Serafini, Jan Beulich, Andrew Cooper,
Roger Pau Monné, Wei Liu
Add missing parameter names. No functional change.
Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
---
xen/arch/x86/include/asm/mtrr.h | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/xen/arch/x86/include/asm/mtrr.h b/xen/arch/x86/include/asm/mtrr.h
index 14246e3387..1d2744eceb 100644
--- a/xen/arch/x86/include/asm/mtrr.h
+++ b/xen/arch/x86/include/asm/mtrr.h
@@ -48,7 +48,7 @@ struct mtrr_state {
};
extern struct mtrr_state mtrr_state;
-extern void cf_check mtrr_save_fixed_ranges(void *);
+extern void cf_check mtrr_save_fixed_ranges(void *info);
extern void mtrr_save_state(void);
extern int mtrr_add(unsigned long base, unsigned long size,
unsigned int type, char increment);
@@ -68,14 +68,14 @@ extern void mtrr_aps_sync_begin(void);
extern void mtrr_aps_sync_end(void);
extern void mtrr_bp_restore(void);
-extern bool_t mtrr_var_range_msr_set(struct domain *, struct mtrr_state *,
+extern bool_t mtrr_var_range_msr_set(struct domain *d, struct mtrr_state *m,
uint32_t msr, uint64_t msr_content);
-extern bool_t mtrr_fix_range_msr_set(struct domain *, struct mtrr_state *,
+extern bool_t mtrr_fix_range_msr_set(struct domain *d, struct mtrr_state *m,
uint32_t row, uint64_t msr_content);
-extern bool_t mtrr_def_type_msr_set(struct domain *, struct mtrr_state *,
+extern bool_t mtrr_def_type_msr_set(struct domain *d, struct mtrr_state *m,
uint64_t msr_content);
#ifdef CONFIG_HVM
-extern void memory_type_changed(struct domain *);
+extern void memory_type_changed(struct domain *d);
#else
static inline void memory_type_changed(struct domain *d) {}
#endif
--
2.34.1
^ permalink raw reply related [flat|nested] 15+ messages in thread* [XEN PATCH 3/7] x86/domain: address violations of MISRA C:2012 Rule 8.2
2023-10-18 14:25 [XEN PATCH 0/7] x86: address some violations of MISRA C:2012 Rule 8.2 Federico Serafini
2023-10-18 14:25 ` [XEN PATCH 1/7] x86/mctelem: address " Federico Serafini
2023-10-18 14:25 ` [XEN PATCH 2/7] x86/mtrr: address violation " Federico Serafini
@ 2023-10-18 14:25 ` Federico Serafini
2023-10-23 14:14 ` Jan Beulich
2023-10-18 14:25 ` [XEN PATCH 4/7] x86/cpuidle: " Federico Serafini
` (3 subsequent siblings)
6 siblings, 1 reply; 15+ messages in thread
From: Federico Serafini @ 2023-10-18 14:25 UTC (permalink / raw)
To: xen-devel
Cc: consulting, Federico Serafini, Jan Beulich, Andrew Cooper,
Roger Pau Monné, Wei Liu
Add missing parameter names. No functional change.
Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
---
xen/arch/x86/include/asm/domain.h | 26 +++++++++++++-------------
1 file changed, 13 insertions(+), 13 deletions(-)
diff --git a/xen/arch/x86/include/asm/domain.h b/xen/arch/x86/include/asm/domain.h
index 619e667938..d033224d2b 100644
--- a/xen/arch/x86/include/asm/domain.h
+++ b/xen/arch/x86/include/asm/domain.h
@@ -74,20 +74,20 @@ struct mapcache_domain {
unsigned long *garbage;
};
-int mapcache_domain_init(struct domain *);
-int mapcache_vcpu_init(struct vcpu *);
-void mapcache_override_current(struct vcpu *);
+int mapcache_domain_init(struct domain *d);
+int mapcache_vcpu_init(struct vcpu *v);
+void mapcache_override_current(struct vcpu *v);
/* x86/64: toggle guest between kernel and user modes. */
-void toggle_guest_mode(struct vcpu *);
+void toggle_guest_mode(struct vcpu *v);
/* x86/64: toggle guest page tables between kernel and user modes. */
-void toggle_guest_pt(struct vcpu *);
+void toggle_guest_pt(struct vcpu *v);
/*
* Initialise a hypercall-transfer page. The given pointer must be mapped
* in Xen virtual address space (accesses are not validated or checked).
*/
-void init_hypercall_page(struct domain *d, void *);
+void init_hypercall_page(struct domain *d, void *ptr);
/************************************************/
/* shadow paging extension */
@@ -342,8 +342,8 @@ struct arch_domain
struct page_list_head relmem_list;
const struct arch_csw {
- void (*from)(struct vcpu *);
- void (*to)(struct vcpu *);
+ void (*from)(struct vcpu *v);
+ void (*to)(struct vcpu *v);
void noreturn (*tail)(void);
} *ctxt_switch;
@@ -690,12 +690,12 @@ void update_guest_memory_policy(struct vcpu *v,
void domain_cpu_policy_changed(struct domain *d);
-bool update_secondary_system_time(struct vcpu *,
- struct vcpu_time_info *);
-void force_update_secondary_system_time(struct vcpu *,
- struct vcpu_time_info *);
+bool update_secondary_system_time(struct vcpu *v,
+ struct vcpu_time_info *u);
+void force_update_secondary_system_time(struct vcpu *v,
+ struct vcpu_time_info *map);
-void vcpu_show_registers(const struct vcpu *);
+void vcpu_show_registers(const struct vcpu *v);
static inline struct vcpu_guest_context *alloc_vcpu_guest_context(void)
{
--
2.34.1
^ permalink raw reply related [flat|nested] 15+ messages in thread* [XEN PATCH 4/7] x86/cpuidle: address violations of MISRA C:2012 Rule 8.2
2023-10-18 14:25 [XEN PATCH 0/7] x86: address some violations of MISRA C:2012 Rule 8.2 Federico Serafini
` (2 preceding siblings ...)
2023-10-18 14:25 ` [XEN PATCH 3/7] x86/domain: address violations " Federico Serafini
@ 2023-10-18 14:25 ` Federico Serafini
2023-10-23 14:15 ` Jan Beulich
2023-10-18 14:25 ` [XEN PATCH 5/7] x86/mcaction: address a violation " Federico Serafini
` (2 subsequent siblings)
6 siblings, 1 reply; 15+ messages in thread
From: Federico Serafini @ 2023-10-18 14:25 UTC (permalink / raw)
To: xen-devel
Cc: consulting, Federico Serafini, Jan Beulich, Andrew Cooper,
Roger Pau Monné, Wei Liu
Add missing parameter names. No functional change.
Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
---
xen/arch/x86/include/asm/cpuidle.h | 11 ++++++-----
1 file changed, 6 insertions(+), 5 deletions(-)
diff --git a/xen/arch/x86/include/asm/cpuidle.h b/xen/arch/x86/include/asm/cpuidle.h
index 3edd7a75d2..707b3e948d 100644
--- a/xen/arch/x86/include/asm/cpuidle.h
+++ b/xen/arch/x86/include/asm/cpuidle.h
@@ -15,16 +15,17 @@ extern void (*lapic_timer_on)(void);
extern uint64_t (*cpuidle_get_tick)(void);
-int mwait_idle_init(struct notifier_block *);
+int mwait_idle_init(struct notifier_block *nfb);
int cpuidle_init_cpu(unsigned int cpu);
void cf_check default_dead_idle(void);
void cf_check acpi_dead_idle(void);
void play_dead(void);
void trace_exit_reason(u32 *irq_traced);
-void update_idle_stats(struct acpi_processor_power *,
- struct acpi_processor_cx *, uint64_t, uint64_t);
-void update_last_cx_stat(struct acpi_processor_power *,
- struct acpi_processor_cx *, uint64_t);
+void update_idle_stats(struct acpi_processor_power *power,
+ struct acpi_processor_cx *cx,
+ uint64_t before, uint64_t after);
+void update_last_cx_stat(struct acpi_processor_power *power,
+ struct acpi_processor_cx *cx, uint64_t ticks);
bool errata_c6_workaround(void);
--
2.34.1
^ permalink raw reply related [flat|nested] 15+ messages in thread* [XEN PATCH 5/7] x86/mcaction: address a violation of MISRA C:2012 Rule 8.2
2023-10-18 14:25 [XEN PATCH 0/7] x86: address some violations of MISRA C:2012 Rule 8.2 Federico Serafini
` (3 preceding siblings ...)
2023-10-18 14:25 ` [XEN PATCH 4/7] x86/cpuidle: " Federico Serafini
@ 2023-10-18 14:25 ` Federico Serafini
2023-10-23 14:16 ` Jan Beulich
2023-10-18 14:25 ` [XEN PATCH 6/7] x86/vmce: address violations " Federico Serafini
2023-10-18 14:26 ` [XEN PATCH 7/7] x86/hpet: " Federico Serafini
6 siblings, 1 reply; 15+ messages in thread
From: Federico Serafini @ 2023-10-18 14:25 UTC (permalink / raw)
To: xen-devel
Cc: consulting, Federico Serafini, Jan Beulich, Andrew Cooper,
Roger Pau Monné, Wei Liu
Add missing parameter name. No functional change.
Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
---
xen/arch/x86/cpu/mcheck/mcaction.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/xen/arch/x86/cpu/mcheck/mcaction.h b/xen/arch/x86/cpu/mcheck/mcaction.h
index 5cbe558fb0..9cb2ad6c9f 100644
--- a/xen/arch/x86/cpu/mcheck/mcaction.h
+++ b/xen/arch/x86/cpu/mcheck/mcaction.h
@@ -13,7 +13,7 @@ mc_memerr_dhandler(struct mca_binfo *binfo,
#define MC_ADDR_VIRTUAL 1
typedef bool (*mce_check_addr_t)(uint64_t status, uint64_t misc, int addr_type);
-extern void mce_register_addrcheck(mce_check_addr_t);
+extern void mce_register_addrcheck(mce_check_addr_t cbfunc);
extern mce_check_addr_t mc_check_addr;
--
2.34.1
^ permalink raw reply related [flat|nested] 15+ messages in thread* [XEN PATCH 6/7] x86/vmce: address violations of MISRA C:2012 Rule 8.2
2023-10-18 14:25 [XEN PATCH 0/7] x86: address some violations of MISRA C:2012 Rule 8.2 Federico Serafini
` (4 preceding siblings ...)
2023-10-18 14:25 ` [XEN PATCH 5/7] x86/mcaction: address a violation " Federico Serafini
@ 2023-10-18 14:25 ` Federico Serafini
2023-10-23 14:17 ` Jan Beulich
2023-10-18 14:26 ` [XEN PATCH 7/7] x86/hpet: " Federico Serafini
6 siblings, 1 reply; 15+ messages in thread
From: Federico Serafini @ 2023-10-18 14:25 UTC (permalink / raw)
To: xen-devel
Cc: consulting, Federico Serafini, Jan Beulich, Andrew Cooper,
Roger Pau Monné, Wei Liu
Add missing parameter names. No functional change.
Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
---
xen/arch/x86/cpu/mcheck/vmce.h | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/xen/arch/x86/cpu/mcheck/vmce.h b/xen/arch/x86/cpu/mcheck/vmce.h
index 2e9b32a9bd..a9a325f776 100644
--- a/xen/arch/x86/cpu/mcheck/vmce.h
+++ b/xen/arch/x86/cpu/mcheck/vmce.h
@@ -11,10 +11,10 @@ int vmce_init(struct cpuinfo_x86 *c);
int unmmap_broken_page(struct domain *d, mfn_t mfn, unsigned long gfn);
-int vmce_intel_rdmsr(const struct vcpu *, uint32_t msr, uint64_t *val);
-int vmce_intel_wrmsr(struct vcpu *, uint32_t msr, uint64_t val);
-int vmce_amd_rdmsr(const struct vcpu *, uint32_t msr, uint64_t *val);
-int vmce_amd_wrmsr(struct vcpu *, uint32_t msr, uint64_t val);
+int vmce_intel_rdmsr(const struct vcpu *v, uint32_t msr, uint64_t *val);
+int vmce_intel_wrmsr(struct vcpu *v, uint32_t msr, uint64_t val);
+int vmce_amd_rdmsr(const struct vcpu *v, uint32_t msr, uint64_t *val);
+int vmce_amd_wrmsr(struct vcpu *v, uint32_t msr, uint64_t val);
int fill_vmsr_data(struct mcinfo_bank *mc_bank, struct domain *d,
uint64_t gstatus, int vmce_vcpuid);
--
2.34.1
^ permalink raw reply related [flat|nested] 15+ messages in thread* [XEN PATCH 7/7] x86/hpet: address violations of MISRA C:2012 Rule 8.2
2023-10-18 14:25 [XEN PATCH 0/7] x86: address some violations of MISRA C:2012 Rule 8.2 Federico Serafini
` (5 preceding siblings ...)
2023-10-18 14:25 ` [XEN PATCH 6/7] x86/vmce: address violations " Federico Serafini
@ 2023-10-18 14:26 ` Federico Serafini
2023-10-23 14:18 ` Jan Beulich
6 siblings, 1 reply; 15+ messages in thread
From: Federico Serafini @ 2023-10-18 14:26 UTC (permalink / raw)
To: xen-devel
Cc: consulting, Federico Serafini, Jan Beulich, Andrew Cooper,
Roger Pau Monné, Wei Liu
Add missing parameter names. No functional change.
Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
---
xen/arch/x86/hpet.c | 2 +-
xen/arch/x86/include/asm/hpet.h | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/xen/arch/x86/hpet.c b/xen/arch/x86/hpet.c
index 79c07f6a9e..63d4158f0f 100644
--- a/xen/arch/x86/hpet.c
+++ b/xen/arch/x86/hpet.c
@@ -37,7 +37,7 @@ struct hpet_event_channel
s_time_t next_event;
cpumask_var_t cpumask;
spinlock_t lock;
- void (*event_handler)(struct hpet_event_channel *);
+ void (*event_handler)(struct hpet_event_channel *ch);
unsigned int idx; /* physical channel idx */
unsigned int cpu; /* msi target */
diff --git a/xen/arch/x86/include/asm/hpet.h b/xen/arch/x86/include/asm/hpet.h
index 9919f74730..b342a154e6 100644
--- a/xen/arch/x86/include/asm/hpet.h
+++ b/xen/arch/x86/include/asm/hpet.h
@@ -60,7 +60,7 @@ extern int8_t opt_hpet_legacy_replacement;
* Return value is zero if HPET is unavailable.
*/
u64 hpet_setup(void);
-void hpet_resume(u32 *);
+void hpet_resume(u32 *boot_cfg);
/*
* Disable HPET hardware: restore it to boot time state.
--
2.34.1
^ permalink raw reply related [flat|nested] 15+ messages in thread* Re: [XEN PATCH 7/7] x86/hpet: address violations of MISRA C:2012 Rule 8.2
2023-10-18 14:26 ` [XEN PATCH 7/7] x86/hpet: " Federico Serafini
@ 2023-10-23 14:18 ` Jan Beulich
0 siblings, 0 replies; 15+ messages in thread
From: Jan Beulich @ 2023-10-23 14:18 UTC (permalink / raw)
To: Federico Serafini
Cc: consulting, Andrew Cooper, Roger Pau Monné, Wei Liu,
xen-devel
On 18.10.2023 16:26, Federico Serafini wrote:
> --- a/xen/arch/x86/include/asm/hpet.h
> +++ b/xen/arch/x86/include/asm/hpet.h
> @@ -60,7 +60,7 @@ extern int8_t opt_hpet_legacy_replacement;
> * Return value is zero if HPET is unavailable.
> */
> u64 hpet_setup(void);
> -void hpet_resume(u32 *);
> +void hpet_resume(u32 *boot_cfg);
Ideally also switching to uint32_t while touching this:
Acked-by: Jan Beulich <jbeulich@suse.com>
Jan
^ permalink raw reply [flat|nested] 15+ messages in thread