Defines in driverkit/ppc