Man pages matching name avc_destroy in section 3:

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