Functions in driverkit/i386