CNTP_CTL_ENABLE
cntv_ctl &= ~CNTP_CTL_ENABLE;
vtimer_cpu->phys_timer.cntx_ctl_el0 = CNTP_CTL_IMASK & ~CNTP_CTL_ENABLE;
cntv_ctl &= ~CNTP_CTL_ENABLE;
if (!(vtimer_cpu->phys_timer.cntx_ctl_el0 & CNTP_CTL_ENABLE)) {
(!((ctl) & CNTP_CTL_IMASK) && ((ctl) & CNTP_CTL_ENABLE))