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 <jbeul...@suse.com> Jan