support for vectored IRQ handling