64 bit time_t in 32 bit ABI?

[Jayachandran C.]

In sys/mips/include/_types.h, I see

| 119 typedef __int64_t       __time_t;               /* time()... */

Which as far as I can see, is not right for the 32-bit ABIs. But this
definition has been there for a long time, so I would like to know if
there is any reason for this?

Since this is a user-visible type, changing it would break binary compatibility.

Thanks,
JC.