15 lines
256 B
C
15 lines
256 B
C
|
/*
|
||
|
|
* 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_ */
|
||
|
|
|