pub const KIPC_MAX_LINKHDR: i32 = 4;