1*1bb92983SJerome Forissier /* SPDX-License-Identifier: BSD-2-Clause */ 2883c4be3SJerome Forissier /* 3883c4be3SJerome Forissier * Copyright (c) 2016, Linaro Limited 4883c4be3SJerome Forissier */ 5883c4be3SJerome Forissier 6883c4be3SJerome Forissier #ifndef __GPROF_PTA_H 7883c4be3SJerome Forissier #define __GPROF_PTA_H 8883c4be3SJerome Forissier 9883c4be3SJerome Forissier #include <stdbool.h> 10883c4be3SJerome Forissier #include <stddef.h> 11883c4be3SJerome Forissier #include <stdint.h> 12883c4be3SJerome Forissier #include <tee_api_types.h> 13883c4be3SJerome Forissier 14883c4be3SJerome Forissier TEE_Result __pta_gprof_send(void *buf, size_t len, uint32_t *id); 15883c4be3SJerome Forissier TEE_Result __pta_gprof_pc_sampling_start(void *buf, size_t len, size_t offset, 16883c4be3SJerome Forissier size_t scale); 17883c4be3SJerome Forissier TEE_Result __pta_gprof_pc_sampling_stop(uint32_t *rate); 18883c4be3SJerome Forissier void __pta_gprof_fini(void); 19883c4be3SJerome Forissier #endif /* __GPROF_PTA_H */ 20