timer_set_ctl
timer_set_ctl(vcpu_get_timer(vcpu, i), 0);
timer_set_ctl(timer, val & ~ARCH_TIMER_CTRL_IT_STAT);
timer_set_ctl(ctx, val);
timer_set_ctl(ctx, read_sysreg_el0(SYS_CNTV_CTL));
timer_set_ctl(ctx, read_sysreg_el0(SYS_CNTP_CTL));
timer_set_ctl(VIRTUAL, CTL_IMASK);
timer_set_ctl(PHYSICAL, CTL_IMASK);
timer_set_ctl(VIRTUAL, CTL_ENABLE);
timer_set_ctl(VIRTUAL, CTL_ENABLE);
timer_set_ctl(PHYSICAL, CTL_ENABLE);
timer_set_ctl(PHYSICAL, CTL_ENABLE);
timer_set_ctl(accessor, CTL_IMASK);
timer_set_ctl(timer, CTL_IMASK);
timer_set_ctl(timer, ctl);
timer_set_ctl(timer, ctl);
timer_set_ctl(timer, CTL_IMASK);
timer_set_ctl(timer, CTL_ENABLE);
timer_set_ctl(timer, CTL_IMASK);
timer_set_ctl(timer, CTL_ENABLE);
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);