Typedefs starting with `t' in osfmk/ppc