VMBUS_PKT_SIZE_SHIFT
header.header_length = static_cast<uint16>(sizeof(header) >> VMBUS_PKT_SIZE_SHIFT);
header.total_length = static_cast<uint16>(totalLengthAligned >> VMBUS_PKT_SIZE_SHIFT);
gpa.header.header_length = static_cast<uint16>(headerLength >> VMBUS_PKT_SIZE_SHIFT);
gpa.header.total_length = static_cast<uint16>(totalLengthAligned >> VMBUS_PKT_SIZE_SHIFT);
uint32 headerLength = header->header_length << VMBUS_PKT_SIZE_SHIFT;
uint32 totalLength = header->total_length << VMBUS_PKT_SIZE_SHIFT;