TIMER_RB_C0
int readback_channel[3] = { TIMER_RB_C0, TIMER_RB_C1, TIMER_RB_C2 };
i8253_channel[0].rbs = (data & TIMER_RB_C0) ? 1 : 0;