blob: ed3dff5b1201cf166c4c3837531be98144e6c89b [file] [log] [blame]
/*
* Copyright (c) 2018 Oticon A/S
*
* SPDX-License-Identifier: Apache-2.0
*/
#include <zephyr.h>
#include <kernel_structs.h>
#include <kernel_internal.h>
#include <ctf_top.h>
void sys_trace_thread_switched_out(void)
{
struct k_thread *thread = k_current_get();
ctf_top_thread_switched_out((u32_t)(uintptr_t)thread);
}
void sys_trace_thread_switched_in(void)
{
struct k_thread *thread = k_current_get();
ctf_top_thread_switched_in((u32_t)(uintptr_t)thread);
}
void sys_trace_thread_priority_set(struct k_thread *thread)
{
ctf_top_thread_priority_set((u32_t)(uintptr_t)thread,
thread->base.prio);
}
void sys_trace_thread_create(struct k_thread *thread)
{
ctf_bounded_string_t name = { "Unnamed thread" };
#if defined(CONFIG_THREAD_NAME)
const char *tname = k_thread_name_get(thread);
if (tname != NULL) {
strncpy(name.buf, tname, sizeof(name.buf));
/* strncpy may not always null-terminate */
name.buf[sizeof(name.buf) - 1] = 0;
}
#endif
ctf_top_thread_create(
(u32_t)(uintptr_t)thread,
thread->base.prio,
name
);
#if defined(CONFIG_THREAD_STACK_INFO)
ctf_top_thread_info(
(u32_t)(uintptr_t)thread,
thread->stack_info.start,
thread->stack_info.size
);
#endif
}
void sys_trace_thread_abort(struct k_thread *thread)
{
ctf_top_thread_abort((u32_t)(uintptr_t)thread);
}
void sys_trace_thread_suspend(struct k_thread *thread)
{
ctf_top_thread_suspend((u32_t)(uintptr_t)thread);
}
void sys_trace_thread_resume(struct k_thread *thread)
{
ctf_top_thread_resume((u32_t)(uintptr_t)thread);
}
void sys_trace_thread_ready(struct k_thread *thread)
{
ctf_top_thread_ready((u32_t)(uintptr_t)thread);
}
void sys_trace_thread_pend(struct k_thread *thread)
{
ctf_top_thread_pend((u32_t)(uintptr_t)thread);
}
void sys_trace_thread_info(struct k_thread *thread)
{
#if defined(CONFIG_THREAD_STACK_INFO)
ctf_top_thread_info(
(u32_t)(uintptr_t)thread,
thread->stack_info.start,
thread->stack_info.size
);
#endif
}
void sys_trace_thread_name_set(struct k_thread *thread)
{
#if defined(CONFIG_THREAD_NAME)
ctf_bounded_string_t name = { "Unnamed thread" };
const char *tname = k_thread_name_get(thread);
if (tname != NULL) {
strncpy(name.buf, tname, sizeof(name.buf));
/* strncpy may not always null-terminate */
name.buf[sizeof(name.buf) - 1] = 0;
}
ctf_top_thread_name_set(
(u32_t)(uintptr_t)thread,
name
);
#endif
}
void sys_trace_isr_enter(void)
{
ctf_top_isr_enter();
}
void sys_trace_isr_exit(void)
{
ctf_top_isr_exit();
}
void sys_trace_isr_exit_to_scheduler(void)
{
ctf_top_isr_exit_to_scheduler();
}
void sys_trace_idle(void)
{
ctf_top_idle();
}
void sys_trace_void(unsigned int id)
{
ctf_top_void(id);
}
void sys_trace_end_call(unsigned int id)
{
ctf_top_end_call(id);
}