tangox_dispatch_irqs   82 drivers/irqchip/irq-tango.c 	tangox_dispatch_irqs(dom, status_lo, 0);
tangox_dispatch_irqs   83 drivers/irqchip/irq-tango.c 	tangox_dispatch_irqs(dom, status_hi, 32);