The text bd493dbad217, as Debian 13 (Trixie) shipped it.
ioctls for console terminal and virtual consoles
ioctl_console(2) on Linux now
