Defines in driverkit/i386