Symbol: devfreq_monitor_stop