Typedefs starting with `b' in osfmk/kern