| /* | |
| * Copyright (c) 2019 Intel corporation | |
| * | |
| * SPDX-License-Identifier: Apache-2.0 | |
| */ | |
| #include <init.h> | |
| #include <string.h> | |
| #include <kernel.h> | |
| 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) {} |