timercmp(3) on Linux

The text 0e25f4ae17d6, as Debian 8 (Jessie) shipped it.

timeval operations

timercmp(3) on Linux now