1 /*
2 * SPDX-License-Identifier: BSD-3-Clause
3 * SPDX-FileCopyrightText: Copyright TF-RMM Contributors.
4 */
5
6 /* This file is only used for CBMC analysis. */
7
8 #ifdef CBMC
9
10 #include <stdbool.h>
11 #include <tb_common.h>
12
rmm_el3_ifc_get_version(void)13 unsigned int rmm_el3_ifc_get_version(void)
14 {
15 ASSERT(false, "rmm_el3_ifc_get_version");
16 return 0;
17 }
18
rmm_el3_ifc_get_shared_buf_locked(void)19 uintptr_t rmm_el3_ifc_get_shared_buf_locked(void)
20 {
21 ASSERT(false, "rmm_el3_ifc_get_shared_buf_locked");
22 return 0;
23 }
24
rmm_el3_ifc_release_shared_buf(void)25 void rmm_el3_ifc_release_shared_buf(void)
26 {
27 ASSERT(false, "rmm_el3_ifc_release_shared_buf");
28 }
29
rmm_el3_ifc_get_realm_attest_key(uintptr_t buf,size_t buflen,size_t * len,unsigned int crv)30 int rmm_el3_ifc_get_realm_attest_key(uintptr_t buf, size_t buflen,
31 size_t *len, unsigned int crv)
32 {
33 ASSERT(false, "rmm_el3_ifc_get_realm_attest_key");
34 return 0;
35 }
36
rmm_el3_ifc_get_platform_token(uintptr_t buf,size_t buflen,size_t hash_size,size_t * token_hunk_len,size_t * remaining_len)37 int rmm_el3_ifc_get_platform_token(uintptr_t buf, size_t buflen,
38 size_t hash_size,
39 size_t *token_hunk_len,
40 size_t *remaining_len)
41 {
42 ASSERT(false, "rmm_el3_ifc_get_platform_token");
43 return 0;
44 }
45
46 #endif /* CBMC */
47