Linux Audio

Check our new training course

Linux kernel drivers training

Mar 31-Apr 9, 2025, special US time zones
Register
Loading...
v4.6
 
 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
11int avc_ss_reset(u32 seqno);
12
13/* Class/perm mapping support */
14struct security_class_mapping {
15	const char *name;
16	const char *perms[sizeof(u32) * 8 + 1];
17};
18
19extern struct security_class_mapping secclass_map[];
20
21/*
22 * The security server must be initialized before
23 * any labeling or access decisions can be provided.
24 */
25extern int ss_initialized;
26
27#endif /* _SELINUX_AVC_SS_H_ */
28
v6.8
 1/* SPDX-License-Identifier: GPL-2.0 */
 2/*
 3 * Access vector cache interface for the security server.
 4 *
 5 * Author : Stephen Smalley, <stephen.smalley.work@gmail.com>
 6 */
 7
 8#ifndef _SELINUX_AVC_SS_H_
 9#define _SELINUX_AVC_SS_H_
10
11#include <linux/types.h>
12
13int avc_ss_reset(u32 seqno);
14
15/* Class/perm mapping support */
16struct security_class_mapping {
17	const char *name;
18	const char *perms[sizeof(u32) * 8 + 1];
19};
20
21extern const struct security_class_mapping secclass_map[];
 
 
 
 
 
 
22
23#endif /* _SELINUX_AVC_SS_H_ */