VIRQ_TIMER
case VIRQ_TIMER:
if (irqp->ii_u.index == VIRQ_TIMER) {
case VIRQ_TIMER:
if (irqp->ii_u.index == VIRQ_TIMER) {
(void) ec_bind_virq_to_irq(VIRQ_TIMER, id);
xen_clock_irq = ec_bind_virq_to_irq(VIRQ_TIMER, 0);
xen_clock_irq = ec_bind_virq_to_irq(VIRQ_TIMER, 0);
if (virq != VIRQ_TIMER)