On 2025-05-17, Stefan Fritsch wrote:
> diff --git a/sys/dev/pv/pvclock.c b/sys/dev/pv/pvclock.c
> index 6d8dd432900..206cc418062 100644
> --- a/sys/dev/pv/pvclock.c
> +++ b/sys/dev/pv/pvclock.c
> @@ -35,13 +36,25 @@
>  #define	PMAP_NOCRYPT	0
>  #endif
>  
> -uint pvclock_lastcount;
> +#ifdef __amd64__
> +unsigned long pvclock_lastcount;
> +#else
> +uint64_t pvclock_lastcount;
> +#endif

This looks odd. Can we use the same type by adding the necessary
uint64 swap on amd64?