/* This function should be called during kernel startup to initialize the IRQ handling routines.  */
void __init init_IRQ(void)
/* This function should be called during kernel startup to initialize the IRQ handling routines.  */
void __init init_IRQ(void)
{
	int i;
	if (HARDIRQ_MASK != 0x00ff0000) {
		extern void hardirq_mask_is_broken(void);
		hardirq_mask_is_broken();
	}
	for (i = IRQ_AUTO_1; i <= IRQ_AUTO_7; i++)
		irq_controller[i] = &auto_irq_controller;
	mach_init_IRQ();
}