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