CONFIG_ARM_CCI400_PORT_CTRL (not configurable)

configname: CONFIG_ARM_CCI400_PORT_CTRL

Linux Kernel Configuration
└─>Device Drivers
└─>Bus devices
└─>ARM_CCI400_PORT_CTRL
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Low level power management driver for CCI400 cache coherent
interconnect for ARM platforms.