/*
 * Copyright (c) 2021 Nordic Semiconductor ASA
 *
 * SPDX-License-Identifier: LicenseRef-Nordic-5-Clause
 */

#include <stdint.h>
#include "tfm_platform_api.h"
#include "tfm_ioctl_api.h"

/* Board specific IOCTL services Secure API. */
