1 /*
2  * Copyright (c) 2018, Pinecone Inc. and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 /*
8  * @file	nuttx/alloc.h
9  * @brief	nuttx libmetal memory allocattion definitions.
10  */
11 
12 #ifndef __METAL_ALLOC__H__
13 #error "Include metal/alloc.h instead of metal/nuttx/alloc.h"
14 #endif
15 
16 #ifndef __METAL_NUTTX_ALLOC__H__
17 #define __METAL_NUTTX_ALLOC__H__
18 
19 #include <nuttx/kmalloc.h>
20 
21 #ifdef __cplusplus
22 extern "C" {
23 #endif
24 
__metal_allocate_memory(unsigned int size)25 static inline void *__metal_allocate_memory(unsigned int size)
26 {
27 	return kmm_malloc(size);
28 }
29 
__metal_free_memory(void * ptr)30 static inline void __metal_free_memory(void *ptr)
31 {
32 	kmm_free(ptr);
33 }
34 
35 #ifdef __cplusplus
36 }
37 #endif
38 
39 #endif /* __METAL_NUTTX_ALLOC__H__ */
40