remove arm (32-bit) support for vdso clock_gettime
[musl] / include / syscall.h
1 #include <sys/syscall.h>