| /* |
| * Copyright (c) 2020 Lexmark International, Inc. |
| * |
| * SPDX-License-Identifier: Apache-2.0 |
| */ |
| |
| #include <tracing_user.h> |
| |
| void sys_trace_thread_switched_in_user(struct k_thread *thread) |
| { |
| printk("%s: %p\n", __func__, thread); |
| } |
| |
| void sys_trace_thread_switched_out_user(struct k_thread *thread) |
| { |
| printk("%s: %p\n", __func__, thread); |
| } |
| |
| void sys_trace_isr_enter_user(int nested_interrupts) |
| { |
| printk("%s: %d\n", __func__, nested_interrupts); |
| } |
| |
| void sys_trace_isr_exit_user(int nested_interrupts) |
| { |
| printk("%s: %d\n", __func__, nested_interrupts); |
| } |
| |
| void sys_trace_idle_user(void) |
| { |
| printk("%s\n", __func__); |
| } |