1 /* 2 * Access vector cache interface for the security server. 3 * 4 * Author : Stephen Smalley, <sds@epoch.ncsc.mil> 5 */ 6 #ifndef _SELINUX_AVC_SS_H_ 7 #define _SELINUX_AVC_SS_H_ 8 9 #include "flask.h" 10 11 int avc_ss_reset(u32 seqno); 12 13 #endif /* _SELINUX_AVC_SS_H_ */ 14 15