Xilinx AXI PCIe controller

modulename: pcie-xilinx.ko

configname: CONFIG_PCIE_XILINX

Linux Kernel Configuration
└─>Device Drivers
└─>PCI support
└─>PCI controller drivers
└─>Xilinx AXI PCIe controller
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Say 'Y' here if you want kernel to support the Xilinx AXI PCIe
Host Bridge driver.

source code:
drivers/pci/controller/pcie-xilinx.c