| /* |
| * Copyright (c) 2018 Oticon A/S |
| * |
| * SPDX-License-Identifier: Apache-2.0 |
| */ |
| |
| #ifndef _TRACE_CTF_H |
| #define _TRACE_CTF_H |
| |
| #ifdef __cplusplus |
| extern "C" { |
| #endif |
| |
| #include <kernel.h> |
| #include <kernel_structs.h> |
| #include <init.h> |
| |
| void sys_trace_thread_switched_out(void); |
| void sys_trace_thread_switched_in(void); |
| void sys_trace_thread_priority_set(struct k_thread *thread); |
| void sys_trace_thread_create(struct k_thread *thread); |
| void sys_trace_thread_abort(struct k_thread *thread); |
| void sys_trace_thread_suspend(struct k_thread *thread); |
| void sys_trace_thread_resume(struct k_thread *thread); |
| void sys_trace_thread_ready(struct k_thread *thread); |
| void sys_trace_thread_pend(struct k_thread *thread); |
| void sys_trace_thread_info(struct k_thread *thread); |
| void sys_trace_isr_enter(void); |
| void sys_trace_isr_exit(void); |
| void sys_trace_isr_exit_to_scheduler(void); |
| void sys_trace_idle(void); |
| void sys_trace_void(unsigned int id); |
| void sys_trace_end_call(unsigned int id); |
| |
| #ifdef __cplusplus |
| } |
| #endif |
| |
| #endif /* _TRACE_CTF_H */ |
