Man pages matching name avc_init in section 3:

avc_init.3.en	debian 10 / libselinux1-dev
avc_init.3.en	debian 11 / libselinux1-dev
avc_init.3.en	debian 12 / libselinux1-dev