All symbols starting with `d' in driverkit/ppc