Variables in osfmk/mach_debug