blob: 660299b3cb59ad826e2131cb160836062f4338fa [file] [log] [blame]
/*
* Copyright (c) 2020 Lexmark International, Inc.
*
* SPDX-License-Identifier: Apache-2.0
*/
#include <tracing_user.h>
#include <kernel_internal.h>
#include <zephyr/kernel_structs.h>
#include <ksched.h>
static int nested_interrupts[CONFIG_MP_NUM_CPUS];
void __weak sys_trace_thread_switched_in_user(struct k_thread *thread) {}
void __weak sys_trace_thread_switched_out_user(struct k_thread *thread) {}
void __weak sys_trace_isr_enter_user(int nested_interrupts) {}
void __weak sys_trace_isr_exit_user(int nested_interrupts) {}
void __weak sys_trace_idle_user(void) {}
void sys_trace_k_thread_switched_in(void)
{
int key = irq_lock();
__ASSERT_NO_MSG(nested_interrupts[_current_cpu->id] == 0);
/* Can't use k_current_get as thread base and z_tls_current might be incorrect */
sys_trace_thread_switched_in_user(z_current_get());
irq_unlock(key);
}
void sys_trace_k_thread_switched_out(void)
{
int key = irq_lock();
__ASSERT_NO_MSG(nested_interrupts[_current_cpu->id] == 0);
/* Can't use k_current_get as thread base and z_tls_current might be incorrect */
sys_trace_thread_switched_out_user(z_current_get());
irq_unlock(key);
}
void sys_trace_isr_enter(void)
{
int key = irq_lock();
_cpu_t *curr_cpu = _current_cpu;
sys_trace_isr_enter_user(nested_interrupts[curr_cpu->id]);
nested_interrupts[curr_cpu->id]++;
irq_unlock(key);
}
void sys_trace_isr_exit(void)
{
int key = irq_lock();
_cpu_t *curr_cpu = _current_cpu;
nested_interrupts[curr_cpu->id]--;
sys_trace_isr_exit_user(nested_interrupts[curr_cpu->id]);
irq_unlock(key);
}
void sys_trace_idle(void)
{
sys_trace_idle_user();
}