Man pages matching name console_ioctl in section 4:

console_ioctl.4.de	debian 10 / manpages-de-dev
console_ioctl.4.en	debian 10 / manpages-dev
console_ioctl.4.es	debian 10 / manpages-es
console_ioctl.4.ja	debian 10 / manpages-ja
console_ioctl.4.pl	debian 10 / manpages-pl
console_ioctl.4.pt	debian 10 / manpages-pt
console_ioctl.4.de	debian 11 / manpages-de
console_ioctl.4.en	debian 11 / manpages-dev
console_ioctl.4.es	debian 11 / manpages-es
console_ioctl.4.fr	debian 11 / manpages-fr
console_ioctl.4.ja	debian 11 / manpages-ja
console_ioctl.4.pl	debian 11 / manpages-pl
console_ioctl.4.pt	debian 11 / manpages-pt
console_ioctl.4.en	debian 12 / manpages-dev