clock_gettime: add support for 32-bit vdso with 64-bit time_t
[musl] / src / math / riscv64 /
2019-06-14 Rich Felkeradd riscv64 architecture support