wf_control_get_max
pump = (sp->target * wf_control_get_max(pump0)) /
fmax = wf_control_get_max(cpu_rear_fans[cpu]);
s32 fmax = wf_control_get_max(backside_fan);
s32 fmax = wf_control_get_max(drives_fan);
pid_param.max = wf_control_get_max(fan_system);
min(pid_param.max, wf_control_get_max(fan_hd));
pid_param.max = wf_control_get_max(fan_cpu_main);
pid_param.max = wf_control_get_max(fan_cpu_main);
param.max = wf_control_get_max(fan_hd);
param.max = wf_control_get_max(fan_slots);
fmax = wf_control_get_max(cpu_fans[cpu][0]);
s32 fmax = wf_control_get_max(backside_fan);
s32 fmax = wf_control_get_max(slots_fan);