Defines in osfmk/profiling/i386