[PATCH v3 1/4] selinux: inline some AVC functions used only once