Man pages matching name tickit_setctl_int in section 3:

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