Re: [Xen-devel] [PRE-4.12 PATCH] xen/arm: time: cycles_t should be an uint64_t and not unsigned long

[Julien Grall <julien.grall@xxxxxxx>]

Hi,

On 20/06/2019 18:50, Andrew Cooper wrote:
> On 20/06/2019 18:47, Julien Grall wrote:
> > Since commit ca73ac8e7d "xen/arm: Add an isb() before reading CNTPCT_EL0
> > to prevent re-ordering", get_cycles() is now returning the number of
> > cycles and used in more callers.
> >
> > While the counter registers is always 64-bit, get_cycles() will only
> > reutrn a 32-bit on Arm32 and therefore truncate the value. This will
> "return 32 bits"
Yes, sorry Stefano committed without this change.

Cheers,

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel