Defined in 2 files as a function:

• kernel/sched/debug.c, line 584 (as a function)
• kernel/time/timer_list.c, line 143 (as a function)

Referenced in 2 files:

• kernel/sched/debug.c
  • line 722
  • line 735
• kernel/time/timer_list.c
  • line 303
  • line 321