Typedefs in driverkit/ppc