Branch data Line data Source code
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 : : 11 : 0 : void sys_trace_isr_enter(void) {} 12 : : 13 : 0 : void sys_trace_isr_exit(void) {} 14 : : 15 : 0 : void sys_trace_isr_exit_to_scheduler(void) {} 16 : : 17 : 0 : void sys_trace_idle(void) {}