 printk(KERN_INFO "SRAM: Mapped pa 0x%08lx to va 0x%08lx size: 0x%lx\n", omap_sram_io_desc[0].pfn, omap_sram_io_desc[0].virtual, omap_sram_io_desc[0].length); 
void __init omap_map_sram(void){	if (omap_sram_size == 0)		return;	omap_sram_io_desc[0].length = (omap_sram_size + PAGE_SIZE-1)/PAGE_SIZE;	omap_sram_io_desc[0].length *= PAGE_SIZE;	iotable_init(omap_sram_io_desc, ARRAY_SIZE(omap_sram_io_desc));	/*	 * Looks like we need to preserve some bootloader code at the	 * beginning of SRAM for jumping to flash for reboot to work...	 */	memset((void *)omap_sram_base + SRAM_BOOTLOADER_SZ, 0,	       omap_sram_size - SRAM_BOOTLOADER_SZ);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/1a8bfa1eb998af6e650ad26201f7cae9f2a2fdc8/sram.c/buggy/arch/arm/plat-omap/sram.c