ic_init
ic_init(base); /* shut it up too while at it */
ic_init(base);
ic_init((void __iomem *)KSEG1ADDR(AU1000_IC0_PHYS_ADDR));
ic_init((void __iomem *)KSEG1ADDR(AU1000_IC1_PHYS_ADDR));
u64 ic_init;