Defined in 1 files as a typedef:

• osfmk/kern/timer.h, line 74 (as a typedef)

Referenced in 3 files:

• osfmk/kern/processor_data.h, line 45
• osfmk/kern/thread.h
  • line 220
  • line 240
• osfmk/kern/timer.h, line 74