Defines in osfmk/profiling/machine