Defined in 2 files as a function:

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

Referenced in 2 files:

• kernel/sched/debug.c
  • line 841
  • line 861
• kernel/time/timer_list.c
  • line 273
  • line 291