dump data

static void dumphex32(char* name,int len)
{
u32 i;
       void __iomem *base = __io_address(0x1c0f000);
printk("dump %s registers:", name);
for (i=0; i<len; i+=4) {
if (!(i&0xf))
printk("\n0x%p : ", base + i);
printk("0x%08x ", readl(base + i));
}
printk("\n");
}