]> xenbits.xensource.com Git - xen.git/commitdiff
x86/hpet: address violations of MISRA C:2012 Rule 8.2
authorFederico Serafini <federico.serafini@bugseng.com>
Thu, 16 Nov 2023 08:12:43 +0000 (09:12 +0100)
committerJan Beulich <jbeulich@suse.com>
Thu, 16 Nov 2023 08:12:43 +0000 (09:12 +0100)
Add missing parameter names. While there also switch a type name. No
functional change.

Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
xen/arch/x86/hpet.c
xen/arch/x86/include/asm/hpet.h

index 79c07f6a9e094822caaa54da20a823fcd5cae562..7be26c6a9b0d7b18ddc0646cd3f33f26db7471b7 100644 (file)
@@ -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 */
@@ -906,7 +906,7 @@ u64 __init hpet_setup(void)
     return hpet_rate;
 }
 
-void hpet_resume(u32 *boot_cfg)
+void hpet_resume(uint32_t *boot_cfg)
 {
     static u32 system_reset_latch;
     u32 hpet_id, cfg;
index 9919f7473071d9d4cd81f1158f4189e7c0674f9e..36a848e60749af662cd070fc9f5f2c263a8edf4d 100644 (file)
@@ -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(uint32_t *boot_cfg);
 
 /*
  * Disable HPET hardware: restore it to boot time state.