| Marc Moreno Berengue | 8e0fa7a | 2018-10-04 18:25:13 +0100 | [diff] [blame^] | 1 | /* |
| 2 | * Copyright (c) 2018, Arm Limited. All rights reserved. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | * |
| 6 | */ |
| 7 | |
| 8 | #ifndef __TFM_PLATFORM_SYSTEM_H__ |
| 9 | #define __TFM_PLATFORM_SYSTEM_H__ |
| 10 | /** |
| 11 | * \note The interfaces defined in this file must be implemented for each |
| 12 | * target. |
| 13 | */ |
| 14 | |
| 15 | #include "tfm_plat_defs.h" |
| 16 | |
| 17 | #ifdef __cplusplus |
| 18 | extern "C" { |
| 19 | #endif |
| 20 | |
| 21 | /** |
| 22 | * \brief Resets the system. |
| 23 | * |
| 24 | * \details Requests a system reset to reset the MCU. |
| 25 | */ |
| 26 | TFM_LINK_SET_OBJECT_IN_PARTITION_SECTION("TFM_SP_PLATFORM") |
| 27 | void tfm_platform_hal_system_reset(void); |
| 28 | |
| 29 | #ifdef __cplusplus |
| 30 | } |
| 31 | #endif |
| 32 | |
| 33 | #endif /* __TFM_PLATFORM_SYSTEM_H__ */ |