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