1 /*
2  * Copyright (c) 2019 Intel corporation
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #include <init.h>
8 #include <string.h>
9 #include <kernel.h>
10 
sys_trace_isr_enter(void)11 void sys_trace_isr_enter(void) {}
12 
sys_trace_isr_exit(void)13 void sys_trace_isr_exit(void) {}
14 
sys_trace_isr_exit_to_scheduler(void)15 void sys_trace_isr_exit_to_scheduler(void) {}
16 
sys_trace_idle(void)17 void sys_trace_idle(void) {}
18