adjtimex(2) on Linux

The text 8080dedc0a65, as Debian 1.3 (Bo) shipped it.

tune kernel clock

adjtimex(2) on Linux now