All symbols starting with `k' in driverkit/i386