static void __init rx3715_init_irq(void) { s3c24xx_init_irq(); }
static void __init h1940_init_irq(void) { s3c24xx_init_irq(); }
void __init smdk2410_init_irq(void) { s3c24xx_init_irq(); }
void __init bit2440_init_irq(void) { s3c24xx_init_irq(); }
static void __init htchermes_init_irq(void) { s3c24xx_init_irq(); }
void __init bast_init_irq(void) { s3c24xx_init_irq(); }
static void __init n30_init_irq(void) { s3c24xx_init_irq(); }