MARVEL_IRQ_VEC_PE_SHIFT
#define MARVEL_IRQ_VEC_IRQ_MASK ((1 << MARVEL_IRQ_VEC_PE_SHIFT) - 1)
(16 + (MARVEL_MAX_PIDS * (1 << MARVEL_IRQ_VEC_PE_SHIFT)))
long base = (io7->pe << MARVEL_IRQ_VEC_PE_SHIFT) + 16;
(irq + 16) | (io7->pe << MARVEL_IRQ_VEC_PE_SHIFT),
(irq + 16) | (io7->pe << MARVEL_IRQ_VEC_PE_SHIFT));
irq |= io7->pe << MARVEL_IRQ_VEC_PE_SHIFT; /* merge the pid */
irq |= pid << MARVEL_IRQ_VEC_PE_SHIFT; /* merge the pid */
pid = irq >> MARVEL_IRQ_VEC_PE_SHIFT;