CONFIG_DVB_PLL (not configurable)
modulename: dvb-pll.ko
configname: CONFIG_DVB_PLL
Linux Kernel Configuration
└─>Device Drivers
└─>Multimedia devices
└─>Digital Video Broadcasting Devices
└─>Customise DVB Frontends
└─>DVB_PLL