CONFIG_REGULATOR_DBX500_PRCMU (not configurable)

modulename: dbx500-prcmu.ko

configname: CONFIG_REGULATOR_DBX500_PRCMU

Linux Kernel Configuration
└─>Device Drivers
└─>Voltage and Current Regulator Support
└─>REGULATOR_DBX500_PRCMU
In linux kernel since version 3.1 (release Date: 2011-10-24)  
source code:
drivers/regulator/dbx500-prcmu.c