/* Get IRQ number from exynos4210 IRQ subsystem stub. To identify IRQ source use internal combiner group and bit number grp - group number bit - bit number inside group  */
uint32_t exynos4210_get_irq(uint32_t grp, uint32_t bit)
/* Get IRQ number from exynos4210 IRQ subsystem stub. To identify IRQ source use internal combiner group and bit number grp - group number bit - bit number inside group  */
uint32_t exynos4210_get_irq(uint32_t grp, uint32_t bit)
{
    return EXYNOS4210_COMBINER_GET_IRQ_NUM(grp, bit);
}