misc(3) on Linux

The text 8c3c40121b63, as Debian 7 (Wheezy) shipped it.

misc(3) on Linux now