[xen master] x86/hpet: address violations of MISRA C:2012 Rule 8.2

[patchbot@xxxxxxx]

commit ef8eba3535609048d98c6500ac760fbaeee7e6a7
Author:     Federico Serafini <federico.serafini@xxxxxxxxxxx>
AuthorDate: Thu Nov 16 09:12:43 2023 +0100
Commit:     Jan Beulich <jbeulich@xxxxxxxx>
CommitDate: Thu Nov 16 09:12:43 2023 +0100

    x86/hpet: address violations of MISRA C:2012 Rule 8.2
    
    Add missing parameter names. While there also switch a type name. No
    functional change.
    
    Signed-off-by: Federico Serafini <federico.serafini@xxxxxxxxxxx>
    Acked-by: Jan Beulich <jbeulich@xxxxxxxx>
---
 xen/arch/x86/hpet.c             | 4 ++--
 xen/arch/x86/include/asm/hpet.h | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/xen/arch/x86/hpet.c b/xen/arch/x86/hpet.c
index 79c07f6a9e..7be26c6a9b 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 */
@@ -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;
diff --git a/xen/arch/x86/include/asm/hpet.h b/xen/arch/x86/include/asm/hpet.h
index 9919f74730..36a848e607 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(uint32_t *boot_cfg);
 
 /*
  * Disable HPET hardware: restore it to boot time state.
--
generated by git-patchbot for /home/xen/git/xen.git#master