Aardvark PCIe controller

modulename: pci-aardvark.ko

configname: CONFIG_PCI_AARDVARK

Linux Kernel Configuration
└─>Device Drivers
└─>PCI support
└─>PCI controller drivers
└─>Aardvark PCIe controller
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Add support for Aardvark 64bit PCIe Host Controller. This
controller is part of the South Bridge of the Marvel Armada
3700 SoC.

source code:
drivers/pci/controller/pci-aardvark.c