CTL_IMASK
timer_set_ctl(VIRTUAL, CTL_IMASK);
timer_set_ctl(PHYSICAL, CTL_IMASK);
if ((xctl & CTL_IMASK) || !(xctl & CTL_ENABLE))
timer_set_ctl(accessor, CTL_IMASK);
timer_set_ctl(timer, CTL_IMASK);
timer_set_ctl(timer, CTL_IMASK);
set_xval_irq(timer, xval, CTL_ENABLE | CTL_IMASK, timer_view);
set_tval_irq(timer, -1, CTL_ENABLE | CTL_IMASK);
set_tval_irq(timer, -1, CTL_ENABLE | CTL_IMASK);
timer_set_ctl(timer, CTL_IMASK);
timer_set_ctl(timer, CTL_IMASK);
timer_set_ctl(timer, CTL_IMASK);
timer_set_ctl(timer, CTL_IMASK);
timer_set_ctl(timer, CTL_IMASK);
timer_set_ctl(VIRTUAL, CTL_IMASK);
timer_set_ctl(PHYSICAL, CTL_IMASK);