Re: [PATCH] Handle clock_gettime(CLOCK_TAI) in VDSO

2018-08-14 Thread Andy Lutomirski
On Tue, Aug 14, 2018 at 9:30 AM, David Woodhouse wrote: > On Tue, 2018-08-14 at 07:20 -0700, Andy Lutomirski wrote: >> > + /* Doubled switch statement to work around kernel Makefile error */ >> > + /* See: >> > https://www.mail-archive.com/gcc-bugs@gcc.gnu.org/msg567499.html */ >> >>

Re: [PATCH] Handle clock_gettime(CLOCK_TAI) in VDSO

2018-08-14 Thread David Woodhouse
On Tue, 2018-08-14 at 07:20 -0700, Andy Lutomirski wrote: > > +   /* Doubled switch statement to work around kernel Makefile error */ > > +   /* See: > > https://www.mail-archive.com/gcc-bugs@gcc.gnu.org/msg567499.html */ > > NAK. > > The issue here (after reading that thread) is that, w

Re: [PATCH] Handle clock_gettime(CLOCK_TAI) in VDSO

2018-08-14 Thread Andy Lutomirski
[Added a whole bunch of ccs] On Mon, Aug 13, 2018 at 6:17 PM, Matt Rickard wrote: > Process clock_gettime(CLOCK_TAI) in VDSO. This makes the call about as fast as > CLOCK_REALTIME instead of taking about four times as long. > > Signed-off-by: Matt Rickard > --- > arch/x86/entry/vdso/vclock_gett