Defines in osfmk/profiling/ppc