EXYNOS PPMU (Platform Performance Monitoring Unit) DEVFREQ event Driver

modulename: exynos-ppmu.ko

configname: CONFIG_DEVFREQ_EVENT_EXYNOS_PPMU

Linux Kernel Configuration
└─>Device Drivers
└─>Generic Dynamic Voltage and Frequency Scaling (DVFS) support
└─>DEVFREQ-Event device Support
└─>EXYNOS PPMU (Platform Performance Monitoring Unit) DEVFREQ event Driver
In linux kernel since version 3.10 (release Date: 2013-06-30)  
This add the devfreq-event driver for Exynos SoC. It provides PPMU
(Platform Performance Monitoring Unit) counters to estimate the
utilization of each module.

source code:
drivers/devfreq/event/exynos-ppmu.c
selects
CONFIG_PM_OPP