The text a20c7288ea81, as Debian 10 (Buster) shipped it.
ioctls for console terminal and virtual consoles
console_ioctl(4) on Linux now
