/* SPDX-License-Identifier: BSD-2-Clause */
/*
 * Copyright (c) 2016, Linaro Limited
 */

#ifndef __GPROF_PTA_H
#define __GPROF_PTA_H

#include <stdbool.h>
#include <stddef.h>
#include <stdint.h>
#include <tee_api_types.h>

TEE_Result __pta_gprof_send(void *buf, size_t len, uint32_t *id);
TEE_Result __pta_gprof_pc_sampling_start(void *buf, size_t len, size_t offset,
					 size_t scale);
TEE_Result __pta_gprof_pc_sampling_stop(uint32_t *rate);
void __pta_gprof_fini(void);
#endif /* __GPROF_PTA_H */