Defined in 2 files as a prototype:

• osfmk/kern/timer_queue.h, line 171 (as a prototype)
• osfmk/kern/timer_queue.h, line 173 (as a prototype)

Defined in 2 files as a function:

• osfmk/arm/rtclock.c, line 344 (as a function)
• osfmk/i386/rtclock.c, line 458 (as a function)

Referenced in 6 files:

• osfmk/arm/arm_timer.c, line 190
• osfmk/arm/rtclock.c, line 415
• osfmk/i386/acpi.c
  • line 405
  • line 408
• osfmk/i386/i386_timer.c
  • line 229
  • line 385
• osfmk/i386/mp.c, line 1534
• osfmk/i386/pmCPU.c, line 927