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