Defines in mach/ppc