ARM CCI driver support

modulename: arm-cci.ko

configname: CONFIG_ARM_CCI

Linux Kernel Configuration
└─>Device Drivers
└─>Bus devices
└─>ARM CCI driver support
In linux kernel since version 3.11 (release Date: 2013-09-02)  
Driver supporting the CCI cache coherent interconnect for ARM
platforms.

source code: