1 /* SPDX-License-Identifier: GPL-2.0-only */
2 /*
3 * pkey table
4 *
5 * SELinux must keep a mapping of pkeys to labels/SIDs. This
6 * mapping is maintained as part of the normal policy but a fast cache is
7 * needed to reduce the lookup overhead.
8 */
9
10 /*
11 * (c) Mellanox Technologies, 2016
12 */
13
14 #ifndef _SELINUX_IB_PKEY_H
15 #define _SELINUX_IB_PKEY_H
16
17 #include <linux/types.h>
18 #include "flask.h"
19
20 #ifdef CONFIG_SECURITY_INFINIBAND
21 void sel_ib_pkey_flush(void);
22 int sel_ib_pkey_sid(u64 subnet_prefix, u16 pkey, u32 *sid);
23 #else
24 static inline void sel_ib_pkey_flush(void)
25 {
26 return;
27 }
28 static inline int sel_ib_pkey_sid(u64 subnet_prefix, u16 pkey, u32 *sid)
29 {
30 *sid = SECINITSID_UNLABELED;
31 return 0;
32 }
33 #endif
34
35 #endif
36
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.