DCTCP_SHIFT
dctcp_data->alpha) >> (DCTCP_SHIFT+1))),
((uint64_t)dctcp_data->bytes_ecn << (DCTCP_SHIFT - V_dctcp_shift_g)) /
if (new > DCTCP_SHIFT)
#define MAX_ALPHA_VALUE (1<<DCTCP_SHIFT)