blob: d1faa6f12dbecd1db9ebcec43e6eeb2f81e38df7 [file] [log] [blame]
Igor Opaniukab88c952017-02-14 13:22:54 +02001/*
2 * Copyright (c) 2016, Linaro Limited
Etienne Carrieredfad7d22019-03-05 08:45:21 +01003 * SPDX-License-Identifier: BSD-2-Clause
Igor Opaniukab88c952017-02-14 13:22:54 +02004 */
5
6#ifndef BENCHMARK_AUX_H
7#define BENCHMARK_AUX_H
8
9#include <tee_client_api.h>
10#include <tee_bench.h>
11
12/* tee error code checking etc */
13void tee_errx(const char *msg, TEEC_Result res);
14void tee_check_res(TEEC_Result res, const char *errmsg);
15
16/* misc aux print functions */
17const char *bench_str_src(uint64_t source);
18void print_line(void);
19
20/* argv alloc/dealloc */
21void alloc_argv(int argc, char *argv[], char **new_argv[]);
22void dealloc_argv(int new_argc, char **new_argv);
23
Igor Opaniuk55fcc4a2018-02-06 19:20:22 +020024void *mmap_paddr(intptr_t paddr, uint64_t size);
Igor Opaniuk3d566ae2018-01-29 02:41:33 +020025size_t get_library_load_offset(pid_t pid, const char *libname);
Igor Opaniuk55fcc4a2018-02-06 19:20:22 +020026
Igor Opaniukab88c952017-02-14 13:22:54 +020027/* get amount of cores */
28uint32_t get_cores(void);
29#endif /* BENCHMARK_AUX_H */