Man pages matching name tiocgicount in section 2const:

TIOCGICOUNT.2const.en

debian 13 / manpages-dev