Man pages matching name tickit_getctl_int in section 3:

tickit_getctl_int.3.en	debian 11 / libtickit-dev
tickit_getctl_int.3.en	debian 12 / libtickit-dev