static int plat_real_irq(int irq)
{
#if 0
    /* THIS COULD BE REMOVED as gpio irqs are handled in gpio.c */
    if ((irq >= IRQ_GPIO5) && (irq <= IRQ_GPIO0)) {
        int group = IRQ_GPIO0 - irq;
        irq = __gpio_group_irq(group);
        if (irq >= 0)
            irq += IRQ_GPIO_0 + 32 * group;
    } else {
#endif
        switch (irq) {
        case IRQ_DMAC0:
        case IRQ_DMAC1:
            irq = __dmac_get_irq();
            if (irq < 0) {
                printk("REG_DMAC_DMAIPR(0) = 0x%08x\n",
                        REG_DMAC_DMAIPR(0));
                printk("REG_DMAC_DMAIPR(1) = 0x%08x\n",
                        REG_DMAC_DMAIPR(1));
                return irq;
            }
            irq += IRQ_DMA_0;
            break;
        }
#if 0 // remove this as well
    }
#endif

    return irq;
}