TIMER_TVAL
case TIMER_TVAL:
test_timer_xval(timer, (uint64_t) tval, TIMER_TVAL, wm, reset_state,
test_xval_check_no_irq(timer, (uint64_t) tval, usec, TIMER_TVAL, wm);
test_set_cnt_after_xval(timer, cnt_1, tval, cnt_2, wm, TIMER_TVAL);
TIMER_TVAL);