On 18-11-20 14:55:23, Marc Zyngier wrote: > > Yeah, I saw 56 is used in arm_arch_timer.c, but I could not find where > > this minimum is defined in aarch64 specs. I will change it to 56. > > See D10.1.2 (The system counter) in the ARM ARM[1], which says: > > <quote> > The Generic Timer provides a system counter with the following > specification: > Width At least 56 bits wide. > The value returned by any 64-bit read of the counter is > zero-extended to 64 bits. > </quote> > > This is not AArch64-specific though, and 32bit systems implementing the > generic timers have the exact same requirements.
Thank you, makes sense. I was thinking there could be AArch64 specific minimum limit. > > > I will send v2 soon. > > Please wait a bit and give others a chance to review this too. I already sent, but will wait in the future before sending v3. > > Thanks, > > M. > > [1] https://static.docs.arm.com/ddi0487/da/DDI0487D_a_armv8_arm.pdf > -- > Jazz is not dead. It just smells funny...
