1 /*
2  * Copyright (c) 2023 Nordic Semiconductor ASA
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #ifndef TFM_IOCTL_API_H__
8 #define TFM_IOCTL_API_H__
9 
10 #include <limits.h>
11 #include <stdint.h>
12 #include <tfm_platform_api.h>
13 
14 /* Include core IOCTL services */
15 #include <tfm_ioctl_core_api.h>
16 
17 #ifdef __cplusplus
18 extern "C" {
19 #endif
20 
21 /* Board specific IOCTL services can be added here */
22 
23 #ifdef __cplusplus
24 }
25 #endif
26 
27 /**
28  * @}
29  */
30 
31 #endif /* TFM_IOCTL_API_H__ */
32