TIMER_MAX_VAL
if (timer_count > TIMER_MAX_VAL * 16) {
} else if (timer_count > TIMER_MAX_VAL) {
return (TIMER_MAX_VAL -
.tc_counter_mask = TIMER_MAX_VAL,
delta += ((TIMER_MAX_VAL - cur) + last);