ics_native_xive
xive = in_be32(ics_native_xive(in, vec));
out_be32(ics_native_xive(in, vec), xive);
xive = in_be32(ics_native_xive(in, vec));
out_be32(ics_native_xive(in, vec), (server << 8) | DEFAULT_PRIORITY);
out_be32(ics_native_xive(in, vec), 0xff);