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