All symbols starting with `k' in bsd/dev/ppc