On Sat, 8 Dec 2018, Palmer Dabbelt wrote:
* Fix both Linux (for 4.21) and our glibc port to use a 64-bit time_t ABI,
which should be possible at least for all core kernel functionality.
Note that if you're planning for the glibc port to use only 64-bit time_t
(like x32) rather than supporting different values of _TIME_BITS, it would
be best for it also to use only 64-bit off_t etc. - as _TIME_BITS=64 will
require _FILE_OFFSET_BITS=64, and I don't think we should have a port
that's the odd one out in supporting 32-bit offsets with 64-bit times.