DVFS_FGCG_HIGH_SPEED_THRESHOLD
if (clk < 1000000 / DVFS_FGCG_HIGH_SPEED_THRESHOLD) {
if (clk < (1000000 / DVFS_FGCG_HIGH_SPEED_THRESHOLD)) {