/* | |
* 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__ */ |