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