sa11x0_init_irq_nodt
sa11x0_init_irq_nodt(IRQ_GPIO0_SC, irq_resource.start);
void __init sa11x0_init_irq_nodt(int irq_start, resource_size_t io_start);