Defines in osfmk/mach/machine