Defined in 2 files as a typedef:

• osfmk/i386/machine_routines.h, line 145 (as a typedef)
• osfmk/ppc/machine_routines.h, line 64 (as a typedef)

Referenced in 3 files:

• iokit/IOKit/IOCPU.h, line 70
• osfmk/ppc/machine_routines.c, line 384
• osfmk/ppc/machine_routines.h, line 212