Defined in 2 files as a typedef:

• osfmk/arm/machine_routines.h, line 114 (as a typedef)
• osfmk/i386/machine_routines.h, line 180 (as a typedef)

Referenced in 4 files:

• iokit/IOKit/IOCPU.h, line 66
• osfmk/arm/machine_routines.c, line 519
• osfmk/arm/machine_routines.h, line 264
• osfmk/arm64/machine_routines.c, line 936