Symbol: mach_init_irq