Constant libc_interface::KIPC_MAX_LINKHDR

pub const KIPC_MAX_LINKHDR: c_int = 4;