NtDeviceIoControlFile(3w) on Linux

The text 75eac4d392e9, as Debian 4.0 (Etch) shipped it.

NtDeviceIoControlFile(3w) on Linux now