init_pyxis_irqs
extern void init_pyxis_irqs(unsigned long);
init_pyxis_irqs(0x63b0000);
init_pyxis_irqs(0x16f0000);
init_pyxis_irqs(0xff00003f0000UL);