/*
 * 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);

struct av_perm_to_string {
	u16 tclass;
	u32 value;
	const char *name;
};

struct av_inherit {
	const char **common_pts;
	u32 common_base;
	u16 tclass;
};

struct selinux_class_perm {
	const struct av_perm_to_string *av_perm_to_string;
	u32 av_pts_len;
	u32 cts_len;
	const char **class_to_string;
	const struct av_inherit *av_inherit;
	u32 av_inherit_len;
};

#endif /* _SELINUX_AVC_SS_H_ */