Typedefs starting with `k' in machdep/ppc