Use __syscall_slong_t in bits/timex.h