40 lines
1.0 KiB
C
40 lines
1.0 KiB
C
/*
|
|
* 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 */
|