Constant KIPC_MAX_LINKHDR 

pub const KIPC_MAX_LINKHDR: c_int = 4;