linux: Fix clock_gettime on systems w/o VDSO

715d808f14LemonBoy committed on 5/11/2019, 8:33:41 AMparentd065f29
1 file changedLine totals unavailable