pxa25x_clocks_init
pxa25x_clocks_init(io_p2v(0x41300000));
pxa25x_clocks_init(ioremap(0x41300000ul, 0x10));
extern int pxa25x_clocks_init(void __iomem *regs);