| Sandrine Bailleux | 3cd87d7 | 2018-10-09 11:12:55 +0200 | [diff] [blame^] | 1 | /* |
| 2 | * Copyright (c) 2018, Arm Limited. All rights reserved. | ||||
| 3 | * | ||||
| 4 | * SPDX-License-Identifier: BSD-3-Clause | ||||
| 5 | */ | ||||
| 6 | |||||
| 7 | #include <stdint.h> | ||||
| 8 | #include <tftf.h> | ||||
| 9 | |||||
| 10 | void asm_tftf_smc32(const smc_args *args, | ||||
| 11 | smc_ret_values *smc_ret); | ||||
| 12 | |||||
| 13 | smc_ret_values tftf_smc(const smc_args *args) | ||||
| 14 | { | ||||
| 15 | smc_ret_values ret = {0}; | ||||
| 16 | asm_tftf_smc32(args, &ret); | ||||
| 17 | |||||
| 18 | return ret; | ||||
| 19 | } | ||||