avc_cache_stats(3) on Linux

The text b5d70d39d6d8, as Debian 7 (Wheezy), Debian 6.0 (Squeeze), Debian 5.0 (Lenny) shipped it.

obtain userspace SELinux AVC statistics.

avc_cache_stats(3) on Linux now