linux: support VDSO for clock_gettime

also fix a compiler crash when using cmpxchg with nullable pointer
21767144fcAndrew Kelley committed on 4/22/2018, 10:11:50 PMparentda2af9c
10 files changedLine totals unavailable