The text 96f4a7e7f1bf, as Debian 2.1 (Slink) shipped it.
ioctl's for console terminal and virtual consoles
console_ioctl(4) on Linux now