[PATCH v2]: arch: arm64: vdso: export the symbols for time()

[Will Deacon]

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