| Varun Wadekar | 35106bd | 2020-03-20 10:12:03 -0700 | [diff] [blame^] | 1 | /* |
| 2 | * Copyright (c) 2020, NVIDIA Corporation. All rights reserved. | ||||
| 3 | * | ||||
| 4 | * SPDX-License-Identifier: BSD-3-Clause | ||||
| 5 | */ | ||||
| 6 | |||||
| 7 | #include <platform.h> | ||||
| 8 | |||||
| 9 | #include <psci.h> | ||||
| 10 | #include <tftf.h> | ||||
| 11 | |||||
| 12 | void tftf_plat_reset(void) | ||||
| 13 | { | ||||
| 14 | smc_args reset_args = { SMC_PSCI_SYSTEM_RESET }; | ||||
| 15 | |||||
| 16 | (void)tftf_smc(&reset_args); | ||||
| 17 | bug_unreachable(); | ||||
| 18 | } | ||||