xref: /optee_os/core/arch/riscv/include/kernel/tee_l2cc_mutex.h (revision fbe66cf83199aa6a2aca9f93384cf1ad9185a5f6)
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