timercmp(3) on Linux

The text 8ef43aad18c4, as Debian 13 (Trixie) shipped it.

timeval operations

timercmp(3) on Linux now