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 21void sel_ib_pkey_flush(void); 22int sel_ib_pkey_sid(u64 subnet_prefix, u16 pkey, u32 *sid); 23#else 24static inline void sel_ib_pkey_flush(void) 25{ 26 return; 27} 28static 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