Defined in 2 files as a prototype:

• osfmk/kern/timer_queue.h, line 129 (as a prototype)
• osfmk/kern/timer_queue.h, line 131 (as a prototype)

Defined in 1 files as a function:

• osfmk/i386/rtclock.c, line 471 (as a function)

Referenced in 4 files:

• osfmk/i386/acpi.c
  • line 377
  • line 380
• osfmk/i386/i386_timer.c
  • line 201
  • line 492
• osfmk/i386/mp.c, line 1431
• osfmk/i386/pmCPU.c, line 897