Defines in machdep/ppc