Re: armv7: tweak timercounter mask

2020-07-12 Thread Christian Weisgerber
Mark Kettenis: > > There is the strong suspicion that the 0x7fff mask in the various > > armv7 timecounters was simply copied from powerpc, and that these really > > are full 32-bit counters. > > > > I wanted to verify this from the data sheets, but I'm insufficiently > > familiar with the

Re: armv7: tweak timercounter mask

2020-07-12 Thread Mark Kettenis
> Date: Sun, 12 Jul 2020 18:21:48 +0200 > From: Christian Weisgerber > > There is the strong suspicion that the 0x7fff mask in the various > armv7 timecounters was simply copied from powerpc, and that these really > are full 32-bit counters. > > I wanted to verify this from the data sheets,

armv7: tweak timercounter mask

2020-07-12 Thread Christian Weisgerber
There is the strong suspicion that the 0x7fff mask in the various armv7 timecounters was simply copied from powerpc, and that these really are full 32-bit counters. I wanted to verify this from the data sheets, but I'm insufficiently familiar with the ARM ecosystem to locate those. Back in