f25_mhz           658 drivers/gpu/drm/i915/intel_device_info.c 	u32 f25_mhz = 25000;
f25_mhz           672 drivers/gpu/drm/i915/intel_device_info.c 		return f25_mhz;