Defined in 2 files as a function:

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

Referenced in 2 files:

• kernel/sched/debug.c
  • line 742
  • line 762
• kernel/time/timer_list.c
  • line 293
  • line 311