Marvell EBU PCIe controller

modulename: pci-mvebu.ko

configname: CONFIG_PCI_MVEBU

Linux Kernel Configuration
└─>Device Drivers
└─>PCI support
└─>PCI controller drivers
└─>Marvell EBU PCIe controller
In linux kernel since version 3.10 (release Date: 2013-06-30)  
source code:
drivers/pci/controller/pci-mvebu.c