Typedefs in osfmk/profiling