OMAP32_ID_0
omap_id = omap_readl(OMAP32_ID_0);
printk(KERN_DEBUG "OMAP32_ID_0: 0x%08x\n", omap_readl(OMAP32_ID_0));