re-enable vdso clock_gettime on arm (32-bit) with workaround
[musl] / include / ar.h
2012-05-06 Rich Felkersome extra legacy header stuff