Defined in 1 files as a typedef:

• osfmk/kern/thread_kernel_state.h, line 38 (as a typedef)

Referenced in 3 files:

• osfmk/arm64/pcb.c, line 473
• osfmk/kern/thread.c, line 3820
• osfmk/kern/thread_kernel_state.h, line 40