| /* |
| * Copyright (c) 2018-2022, Arm Limited. All rights reserved. |
| * |
| * SPDX-License-Identifier: BSD-3-Clause |
| * |
| */ |
| |
| #include "tfm_platform_system.h" |
| #include "cmsis.h" |
| #include "target_cfg.h" |
| #include "tfm_hal_platform.h" |
| |
| void tfm_platform_hal_system_reset(void) |
| { |
| __disable_irq(); |
| tfm_hal_system_reset(); |
| } |
| |
| enum tfm_platform_err_t tfm_platform_hal_ioctl(tfm_platform_ioctl_req_t request, psa_invec * in_vec, psa_outvec * out_vec) |
| { |
| (void) request; |
| (void) in_vec; |
| (void) out_vec; |
| |
| /* Not needed for this platform */ |
| return TFM_PLATFORM_ERR_NOT_SUPPORTED; |
| } |