Functions in driverkit/ppc