Typedefs in bsd/kern