GIC_INTERRUPT_BASE_PPI
interruptNumber += GIC_INTERRUPT_BASE_PPI;
irqEntry.parentIrq = interruptNumber + GIC_INTERRUPT_BASE_PPI;