Branch data     Line data    Source code

       1                 :            : /*
       2                 :            :  * Copyright (c) 2019 Intel corporation
       3                 :            :  *
       4                 :            :  * SPDX-License-Identifier: Apache-2.0
       5                 :            :  */
       6                 :            : 
       7                 :            : 
       8                 :          0 : void sys_trace_isr_enter(void) {}
       9                 :            : 
      10                 :          0 : void sys_trace_isr_exit(void) {}
      11                 :            : 
      12                 :          0 : void sys_trace_isr_exit_to_scheduler(void) {}
      13                 :            : 
      14                 :          0 : void sys_trace_idle(void) {}