timer(3erl) on Linux

The text 598ffcdfbaa8, as Debian 4.0 (Etch) shipped it.

Timer Functions

timer(3erl) on Linux now