1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2016, Linaro Limited
4  */
5 
6 #ifndef __GPROF_PTA_H
7 #define __GPROF_PTA_H
8 
9 #include <stdbool.h>
10 #include <stddef.h>
11 #include <stdint.h>
12 #include <tee_api_types.h>
13 
14 TEE_Result __pta_gprof_send(void *buf, size_t len, uint32_t *id);
15 TEE_Result __pta_gprof_pc_sampling_start(void *buf, size_t len, size_t offset,
16 					 size_t scale);
17 TEE_Result __pta_gprof_pc_sampling_stop(uint32_t *rate);
18 void __pta_gprof_fini(void);
19 #endif /* __GPROF_PTA_H */
20