ARCH_TIMER_CTRL_IT_MASK
(ARCH_TIMER_CTRL_IT_MASK | ARCH_TIMER_CTRL_ENABLE)) == ARCH_TIMER_CTRL_ENABLE);
!(cnt_ctl & ARCH_TIMER_CTRL_IT_MASK);
ctrl &= ~ARCH_TIMER_CTRL_IT_MASK;
ctrl |= ARCH_TIMER_CTRL_IT_MASK;
ctrl &= ~ARCH_TIMER_CTRL_IT_MASK;
ctrl &= ~ARCH_TIMER_CTRL_IT_MASK;
ctrl |= ARCH_TIMER_CTRL_IT_MASK;
(((x) & (ARCH_TIMER_CTRL_ENABLE | ARCH_TIMER_CTRL_IT_MASK | \
sysreg_clear_set(cntp_ctl_el0, 0, ARCH_TIMER_CTRL_IT_MASK);
sysreg_clear_set(cntv_ctl_el0, 0, ARCH_TIMER_CTRL_IT_MASK);