#ifndef _SELINUX_AVC_H_
#define _SELINUX_AVC_H_
#include <linux/stddef.h>
#include <linux/errno.h>
#include <linux/kernel.h>
#include <linux/kdev_t.h>
#include <linux/spinlock.h>
#include <linux/init.h>
#include <linux/audit.h>
#include <linux/lsm_audit.h>
#include <linux/in6.h>
#include "flask.h"
#include "av_permissions.h"
#include "security.h"
struct avc_entry;
struct task_struct;
struct inode;
struct sock;
struct sk_buff;
struct avc_cache_stats { … };
struct selinux_audit_data { … } __randomize_layout;
void __init avc_init(void);
static inline u32 avc_audit_required(u32 requested, struct av_decision *avd,
int result, u32 auditdeny, u32 *deniedp)
{ … }
int slow_avc_audit(u32 ssid, u32 tsid, u16 tclass, u32 requested, u32 audited,
u32 denied, int result, struct common_audit_data *a);
static inline int avc_audit(u32 ssid, u32 tsid, u16 tclass, u32 requested,
struct av_decision *avd, int result,
struct common_audit_data *a)
{ … }
#define AVC_STRICT …
#define AVC_EXTENDED_PERMS …
int avc_has_perm_noaudit(u32 ssid, u32 tsid, u16 tclass, u32 requested,
unsigned int flags, struct av_decision *avd);
int avc_has_perm(u32 ssid, u32 tsid, u16 tclass, u32 requested,
struct common_audit_data *auditdata);
int avc_has_extended_perms(u32 ssid, u32 tsid, u16 tclass, u32 requested,
u8 driver, u8 perm, struct common_audit_data *ad);
u32 avc_policy_seqno(void);
#define AVC_CALLBACK_GRANT …
#define AVC_CALLBACK_TRY_REVOKE …
#define AVC_CALLBACK_REVOKE …
#define AVC_CALLBACK_RESET …
#define AVC_CALLBACK_AUDITALLOW_ENABLE …
#define AVC_CALLBACK_AUDITALLOW_DISABLE …
#define AVC_CALLBACK_AUDITDENY_ENABLE …
#define AVC_CALLBACK_AUDITDENY_DISABLE …
#define AVC_CALLBACK_ADD_XPERMS …
int avc_add_callback(int (*callback)(u32 event), u32 events);
int avc_get_hash_stats(char *page);
unsigned int avc_get_cache_threshold(void);
void avc_set_cache_threshold(unsigned int cache_threshold);
#ifdef CONFIG_SECURITY_SELINUX_AVC_STATS
DECLARE_PER_CPU(struct avc_cache_stats, avc_cache_stats);
#endif
#endif