1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright 2022 NXP 4 */ 5 #ifndef __KERNEL_TEE_L2CC_MUTEX_H 6 #define __KERNEL_TEE_L2CC_MUTEX_H 7 8 #endif /* __KERNEL_TEE_L2CC_MUTEX_H */ 9