Tegra DEVFREQ Driver

modulename: tegra-devfreq.ko

and/or

tegra30-devfreq.ko

configname: CONFIG_ARM_TEGRA_DEVFREQ

Linux Kernel Configuration
└─>Device Drivers
└─>Generic Dynamic Voltage and Frequency Scaling (DVFS) support
└─>Tegra DEVFREQ Driver
In linux kernel since version 3.10 (release Date: 2013-06-30)  
This adds the DEVFREQ driver for the Tegra family of SoCs.
It reads ACTMON counters of memory controllers and adjusts the
operating frequencies and voltages with OPP support.

source code: