Man pages matching name avc_has_perm in section 3:

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