Defined in 2 files as a typedef:

• osfmk/i386/machine_routines.h, line 53 (as a typedef)
• osfmk/ppc/machine_routines.h, line 49 (as a typedef)

Referenced in 4 files:

• iokit/IOKit/IOCPU.h, line 64
• osfmk/i386/machine_routines.h, line 60
• osfmk/ppc/machine_routines.c, line 253
• osfmk/ppc/machine_routines.h, line 125