MARVEL_IRQ_VEC_IRQ_MASK
irq &= MARVEL_IRQ_VEC_IRQ_MASK; /* not too many bits */
irq &= MARVEL_IRQ_VEC_IRQ_MASK; /* isolate the vector */