f12_5_mhz         681 drivers/gpu/drm/i915/intel_device_info.c 	u32 f12_5_mhz = 12500;
f12_5_mhz         700 drivers/gpu/drm/i915/intel_device_info.c 		return f12_5_mhz;