FREQ_HALF
dfs_scale_frequency(FREQ_HALF);
case FREQ_HALF:
ppc64_scale_frequency(FREQ_HALF);
ppc64_slew_voltage(FREQ_HALF);