1051 					     u32 *speed)  in ci_fan_ctrl_get_fan_speed_percent()  argument
1067 	*speed = (u32)tmp64;  in ci_fan_ctrl_get_fan_speed_percent()
1069 	if (*speed > 100)  in ci_fan_ctrl_get_fan_speed_percent()
1070 		*speed = 100;  in ci_fan_ctrl_get_fan_speed_percent()
1076 					     u32 speed)  in ci_fan_ctrl_set_fan_speed_percent()  argument
1089 	if (speed > 100)  in ci_fan_ctrl_set_fan_speed_percent()
1097 	tmp64 = (u64)speed * duty100;  in ci_fan_ctrl_set_fan_speed_percent()
1138 					 u32 *speed)
1153 	*speed = 60 * xclk * 10000 / tach_period;
1159 					 u32 speed)
1170 	if ((speed < rdev->pm.fan_min_rpm) ||
1171 	    (speed > rdev->pm.fan_max_rpm))
1177 	tach_period = 60 * xclk * 10000 / (8 * speed);