void __init rx3715_init_irq(void) 
static void __init rx3715_init_irq(void) 
void __init rx3715_init_irq(void){	s3c24xx_init_irq();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5fe10ab19046d84f3fd243436cbd5fa01019e809/mach-rx3715.c/clean/arch/arm/mach-s3c2410/mach-rx3715.c