Defines in osfmk/mach_debug