Defines in osfmk/profiling