/* Determine Refresh Rate. Ignore self refresh bit on DDR I. Table from SPD Spec, Byte 12, converted to picoseconds and filled in with "default" normal values.  */
static unsigned int determine_refresh_rate_ps(const unsigned int spd_refresh)
/* Determine Refresh Rate. Ignore self refresh bit on DDR I. Table from SPD Spec, Byte 12, converted to picoseconds and filled in with "default" normal values.  */
static unsigned int determine_refresh_rate_ps(const unsigned int spd_refresh)
{
	unsigned int refresh_time_ps[8] = {
		15625000,
		3900000,
		7800000,
		31300000,
		62500000,
		125000000,
		15625000,
		15625000,
	};
	return refresh_time_ps[spd_refresh & 0x7];
}