CTL_ENABLE
timer_set_ctl(VIRTUAL, CTL_ENABLE);
timer_set_ctl(VIRTUAL, CTL_ENABLE);
timer_set_ctl(PHYSICAL, CTL_ENABLE);
timer_set_ctl(PHYSICAL, CTL_ENABLE);
if ((xctl & CTL_IMASK) || !(xctl & CTL_ENABLE))
istatus = (ctl & CTL_ISTATUS) && (ctl & CTL_ENABLE);
set_xval_irq(timer, xval, CTL_ENABLE, tv);
set_xval_irq(timer, xval, CTL_ENABLE | CTL_IMASK, timer_view);
set_tval_irq(timer, -1, CTL_ENABLE | CTL_IMASK);
timer_set_ctl(timer, CTL_ENABLE);
set_tval_irq(timer, -1, CTL_ENABLE | CTL_IMASK);
set_tval_irq(timer, 0, CTL_ENABLE);
timer_set_ctl(timer, CTL_ENABLE);
set_tval_irq(timer, msec_to_cycles(delta_1_ms), CTL_ENABLE);
msec_to_cycles(test_args.wait_ms) / 2, CTL_ENABLE);
set_xval_irq(timer, xval, CTL_ENABLE, tv);
set_xval_irq(timer, xval, CTL_ENABLE, tv);