test_set_cnt_after_tval
test_set_cnt_after_tval(timer, 0, -1, DEF_CNT + 1, wm);
test_set_cnt_after_tval(timer, 0, -1, TVAL_MAX, wm);
test_set_cnt_after_tval(timer, 0, tval, (u64)tval + 1, wm);