boost_down_threshold 90 drivers/devfreq/tegra30-devfreq.c unsigned int boost_down_threshold; boost_down_threshold 113 drivers/devfreq/tegra30-devfreq.c .boost_down_threshold = 40, boost_down_threshold 122 drivers/devfreq/tegra30-devfreq.c .boost_down_threshold = 10, boost_down_threshold 228 drivers/devfreq/tegra30-devfreq.c device_writel(dev, do_percent(val, dev->config->boost_down_threshold),