__kernel_time64_t
__kernel_time64_t tv_sec; /* seconds */
__kernel_time64_t tv_sec;
typedef __kernel_time64_t time_t;
if (!__builtin_types_compatible_p(time_t, __kernel_time64_t))