Defined in 1 files as a typedef:

• osfmk/kern/circle_queue.h, line 47 (as a typedef)

Referenced in 7 files:

• osfmk/ipc/ipc_mqueue.h, line 91
• osfmk/kern/circle_queue.h, line 47
• osfmk/kern/sched.h, line 248
• osfmk/kern/sched_clutch.h, line 68
• osfmk/kern/thread.h, line 749
• osfmk/kern/waitq.c, line 807
• osfmk/kern/waitq.h
  • line 278
  • line 283
  • line 321