1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2019, Linaro Limited
4  */
5 
6 #ifndef FTRACE_H
7 #define FTRACE_H
8 
9 #include <types_ext.h>
10 #include <user_ta_header.h>
11 
12 #ifdef CFG_FTRACE_SUPPORT
13 bool ftrace_init(struct ftrace_buf **fbuf_ptr);
14 void ftrace_copy_buf(void *pctx, void (*copy_func)(void *pctx, void *b,
15 						   size_t bl));
16 void ftrace_map_lr(uint64_t *lr);
17 #else
ftrace_map_lr(uint64_t * lr __unused)18 static inline void ftrace_map_lr(uint64_t *lr __unused)
19 {
20 }
21 #endif
22 
23 #endif /*FTRACE_H*/
24 
25