CONFIG_ARM_CCI_PMU (not configurable)
modulename: arm-cci.ko
configname: CONFIG_ARM_CCI_PMU
Linux Kernel Configuration
└─>Device Drivers
└─>Bus devices
└─>ARM_CCI_PMU
