2 * Access vector cache interface for the security server.
4 * Author : Stephen Smalley, <sds@epoch.ncsc.mil>
6 #ifndef _SELINUX_AVC_SS_H_
7 #define _SELINUX_AVC_SS_H_
11 int avc_ss_grant(u32 ssid
, u32 tsid
, u16 tclass
, u32 perms
, u32 seqno
);
13 int avc_ss_try_revoke(u32 ssid
, u32 tsid
, u16 tclass
, u32 perms
, u32 seqno
,
16 int avc_ss_revoke(u32 ssid
, u32 tsid
, u16 tclass
, u32 perms
, u32 seqno
);
18 int avc_ss_reset(u32 seqno
);
20 int avc_ss_set_auditallow(u32 ssid
, u32 tsid
, u16 tclass
, u32 perms
,
21 u32 seqno
, u32 enable
);
23 int avc_ss_set_auditdeny(u32 ssid
, u32 tsid
, u16 tclass
, u32 perms
,
24 u32 seqno
, u32 enable
);
26 #endif /* _SELINUX_AVC_SS_H_ */