console_ioctl(4) on Linux

The text aacdf5c3dcae, as Debian 1.2 (Rex), Debian 1.1 (Buzz) shipped it.

ioctl's for console terminal and virtual consoles

console_ioctl(4) on Linux now