Typedefs in osfmk/profiling/i386