/* Convert a packed value from cbuint64 to a UINT64 value. */
UINT64 cb_unpack64(IN struct cbuint64 val)
/* Convert a packed value from cbuint64 to a UINT64 value. */
UINT64 cb_unpack64(IN struct cbuint64 val)
{
  return LShiftU64 (val.hi, 32) | val.lo;
}