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