clock_gettime: add support for 32-bit vdso with 64-bit time_t
[musl] / src / math / x32 / __invtrigl.s