Marvell Armada-8K PCIe controller

modulename: pcie-armada8k.ko

configname: CONFIG_PCIE_ARMADA_8K

Linux Kernel Configuration
└─>Device Drivers
└─>PCI support
└─>PCI controller drivers
└─>DesignWare PCI Core Support
└─>Marvell Armada-8K PCIe controller
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Say Y here if you want to enable PCIe controller support on
Armada-8K SoCs. The PCIe controller on Armada-8K is based on
DesignWare hardware and therefore the driver re-uses the
DesignWare core functions to implement the driver.

source code: