Constant libc_interface::KIPC_MAX_HDR

pub const KIPC_MAX_HDR: c_int = 6;