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