blob: 116a3217a96194e56f49114dab57a6cd9f7ae3c2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
// SPDX-License-Identifier: BSD-2-Clause
/*
* Copyright (c) 2016, Linaro Limited
*/
#include <malloc.h>
#ifdef __KERNEL__
/* Compiling for TEE Core */
#include <kernel/spinlock.h>
unsigned int __malloc_spinlock = SPINLOCK_UNLOCK;
#endif /*__KERNEL__*/
|