CNTP_CTL_ISTATUS
*rval = vtimer_cpu->phys_timer.cntx_ctl_el0 | CNTP_CTL_ISTATUS;
*rval = vtimer_cpu->phys_timer.cntx_ctl_el0 & ~CNTP_CTL_ISTATUS;
#define timer_condition_met(ctl) ((ctl) & CNTP_CTL_ISTATUS)