CNTR_32BIT_MAX
if (upper == CNTR_32BIT_MAX)
total_flits, (u64)CNTR_32BIT_MAX);
if (total_flits >= CNTR_32BIT_MAX) {