avc_ss.h

linux-2.6.15.6

/*
 * Access vector cache interface for the security server.
 *
 * Author : Stephen Smalley, <[e-mail]>
 */
#ifndef _SELINUX_AVC_SS_H_
#define _SELINUX_AVC_SS_H_

#include "flask.h"

int avc_ss_reset(u32 seqno);

#endif /* _SELINUX_AVC_SS_H_ */