I'm sorry, there is no such page as __console_ioctl__(4)?.
No other page links to __console_ioctl__(4) yet.