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