timercmp(3) on Linux

The text 8970daf42cdb, as Debian 10 (Buster) shipped it.

timeval operations

timercmp(3) on Linux now