All symbols starting with `k' in driverkit/ppc