CONFIG_SOC_TEGRA_PMC (not configurable)

modulename: pmc.ko

configname: CONFIG_SOC_TEGRA_PMC

Linux Kernel Configuration
└─>Device Drivers
└─>SOC (System On Chip) specific Drivers
└─>SOC_TEGRA_PMC
In linux kernel since version 3.10 (release Date: 2013-06-30)  
source code:
drivers/soc/tegra/pmc.c