/* The SDRAM hardware has been configured by the first stage boot loader. We only need to announce its size, using u-boot's memory check.  */
int dram_init(void)
/* The SDRAM hardware has been configured by the first stage boot loader. We only need to announce its size, using u-boot's memory check.  */
int dram_init(void)
{
	gd->ram_size = get_ram_size(
			(void *)CONFIG_SYS_SDRAM_BASE,
			CONFIG_SYS_SDRAM_SIZE);
	return 0;
}