| /* | |
| * Copyright (c) 2023 Nordic Semiconductor ASA | |
| * | |
| * SPDX-License-Identifier: Apache-2.0 | |
| */ | |
| #ifndef TFM_IOCTL_API_H__ | |
| #define TFM_IOCTL_API_H__ | |
| #include <limits.h> | |
| #include <stdint.h> | |
| #include <tfm_platform_api.h> | |
| /* Include core IOCTL services */ | |
| #include <tfm_ioctl_core_api.h> | |
| #ifdef __cplusplus | |
| extern "C" { | |
| #endif | |
| /* Board specific IOCTL services can be added here */ | |
| #ifdef __cplusplus | |
| } | |
| #endif | |
| /** | |
| * @} | |
| */ | |
| #endif /* TFM_IOCTL_API_H__ */ |