On Tue, Jun 23, 2020 at 09:47:57AM -0700, Mark Salyzyn wrote: > time() in bionic libc will go an use vDSO interface to pick up this > low-resolution timer.
But my point is it should _already_ be using the vDSO implementation of clock_gettime(), which should be plenty fast enough. Will
