Defined in 2 files as a function:

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

Referenced in 2 files:

• kernel/sched/debug.c
  • line 884
  • line 904
• kernel/time/timer_list.c
  • line 273
  • line 291