IA64_HARDWARE_IRQ_BASE
vector = irq + IA64_HARDWARE_IRQ_BASE;
u_int vector = ih->ih_irq + IA64_HARDWARE_IRQ_BASE;