https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114065
--- Comment #50 from John David Anglin <danglin at gcc dot gnu.org> --- On second thought, maybe the tv_nsec field in the ada timspec record should also be type time_t? #if __TIMESIZE == 64 # define __timespec64 timespec #else #include <endian.h> /* The glibc Y2038-proof struct __timespec64 structure for a time value. To keep things Posix-ish, we keep the nanoseconds field a 32-bit signed long, but since the Linux field is a 64-bit signed int, we pad our tv_nsec with a 32-bit unnamed bit-field padding. As a general rule the Linux kernel is ignoring upper 32 bits of tv_nsec field. */ struct __timespec64 { __time64_t tv_sec; /* Seconds */ # if BYTE_ORDER == BIG_ENDIAN __int32_t :32; /* Padding */ __int32_t tv_nsec; /* Nanoseconds */ # else __int32_t tv_nsec; /* Nanoseconds */ __int32_t :32; /* Padding */ # endif }; #endif I think this would avoid the endian difference in the C __timespec64 declaration and work for both 32 and 64-bit.