| /* |
| * Copyright (c) 2020-2021, Arm Limited. All rights reserved. |
| * |
| * SPDX-License-Identifier: BSD-3-Clause |
| * |
| */ |
| |
| #include "cmsis_compiler.h" |
| #include "service_api.h" |
| #ifdef TFM_PSA_API |
| #include "psa/service.h" |
| #include "svc_num.h" |
| #else |
| #include "tfm_core_svc.h" |
| #endif /* TFM_PSA_API */ |
| |
| __attribute__((naked)) |
| int32_t tfm_core_get_boot_data(uint8_t major_type, |
| struct tfm_boot_data *boot_status, |
| uint32_t len) |
| { |
| __ASM volatile( |
| "SVC %0\n" |
| "BX lr\n" |
| : : "I" (TFM_SVC_GET_BOOT_DATA)); |
| } |
| |
| #ifdef TFM_PSA_API |
| /* Entry point when Partition FLIH functions return */ |
| __attribute__((naked)) |
| void tfm_flih_func_return(psa_flih_result_t result) |
| { |
| __ASM volatile("SVC %0 \n" |
| "BX r0 \n" |
| : : "I" (TFM_SVC_FLIH_FUNC_RETURN)); |
| } |
| #endif /* TFM_PSA_API */ |