sdram_refresh_rate  276 drivers/edac/r82600_edac.c 	u32 sdram_refresh_rate;
sdram_refresh_rate  283 drivers/edac/r82600_edac.c 	sdram_refresh_rate = dramcr & (BIT(0) | BIT(1));
sdram_refresh_rate  284 drivers/edac/r82600_edac.c 	edac_dbg(2, "sdram refresh rate = %#0x\n", sdram_refresh_rate);