VMBUS_IC_NEGOSZ
nego->ic_hdr.ic_dsize = VMBUS_IC_NEGOSZ -
if (dlen < VMBUS_IC_NEGOSZ)
*dlen0 = VMBUS_IC_NEGOSZ;
__CTASSERT(VMBUS_IC_NEGOSZ < VMBUS_IC_BRSIZE);