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 <measurement.h>
11 #include <stdbool.h>
12 #include <tb_common.h>
13
measurement_data_granule_measure(unsigned char rim_measurement[],enum hash_algo algorithm,void * data,unsigned long ipa,unsigned long flags)14 void measurement_data_granule_measure(unsigned char rim_measurement[],
15 enum hash_algo algorithm,
16 void *data,
17 unsigned long ipa,
18 unsigned long flags)
19 {
20 ASSERT(false, "measurement_data_granule_measure");
21 }
22
measurement_realm_params_measure(unsigned char rim_measurement[],enum hash_algo algorithm,struct rmi_realm_params * realm_params)23 void measurement_realm_params_measure(unsigned char rim_measurement[],
24 enum hash_algo algorithm,
25 struct rmi_realm_params *realm_params)
26 {
27 ASSERT(false, "measurement_realm_params_measure");
28 }
29
measurement_rec_params_measure(unsigned char rim_measurement[],enum hash_algo algorithm,struct rmi_rec_params * rec_params)30 void measurement_rec_params_measure(unsigned char rim_measurement[],
31 enum hash_algo algorithm,
32 struct rmi_rec_params *rec_params)
33 {
34 ASSERT(false, "measurement_rec_params_measure");
35 }
36
measurement_init_ripas_measure(unsigned char rim_measurement[],enum hash_algo algorithm,unsigned long ipa,unsigned long level)37 void measurement_init_ripas_measure(unsigned char rim_measurement[],
38 enum hash_algo algorithm,
39 unsigned long ipa,
40 unsigned long level)
41 {
42 ASSERT(false, "measurement_init_ripas_measure");
43 }
44
45 #endif /* CBMC */
46