On Mon, 2017-05-22 at 12:06 -0700, John Stultz wrote: > So, long ago I talked w/ Paul Mackerras about the ppc vdso code, as > ppc has some other legacy "userspace time" code that has to be > maintained as well (I believe there's not code page, just data page > that userspace pulls directly from).
Hrm... the ppc VDSO has a code page, userspace just calls __kernel_clock_* I don't know if anything still uses the direct mapped values, we should enquire internally. Cheers, Ben.