IRQ_PEND_EXT_CPU_TIMER
(1UL << IRQ_PEND_EXT_CPU_TIMER) | \
#define IRQ_PEND_EXT_II_MASK ((1UL << IRQ_PEND_EXT_CPU_TIMER) | \
clear_bit(IRQ_PEND_EXT_CPU_TIMER, &li->pending_irqs);
set_bit(IRQ_PEND_EXT_CPU_TIMER, &li->pending_irqs);
case IRQ_PEND_EXT_CPU_TIMER:
set_bit(IRQ_PEND_EXT_CPU_TIMER, &li->pending_irqs);
case IRQ_PEND_EXT_CPU_TIMER:
__clear_bit(IRQ_PEND_EXT_CPU_TIMER, &active_mask);
clear_bit(IRQ_PEND_EXT_CPU_TIMER, &li->pending_irqs);