> Date: Sun, 12 Jul 2020 19:30:38 +0200 > From: Christian Weisgerber <[email protected]> > > Mark Kettenis: > > > > Date: Sun, 12 Jul 2020 18:12:39 +0200 > > > From: Christian Weisgerber <[email protected]> > > > > > > The PowerPC/Power ISA Time Base is a 64-bit register. We can use > > > the full lower 32 bits. > > > > > > OK? > > > > Sure, but this needs to be coordinated with the userland diff. > > No. tc_update_timekeep() copies the counter mask into the timekeep > structure and the userland picks it up from there.
Ah right, good!
