timer(3erl) on Linux

The text 0a8e76f265b0, as Debian 7 (Wheezy) shipped it.

Timer Functions

timer(3erl) on Linux now