Samsung Exynos PCIe controller

modulename: pci-exynos.ko

configname: CONFIG_PCI_EXYNOS

Linux Kernel Configuration
└─>Device Drivers
└─>PCI support
└─>PCI controller drivers
└─>DesignWare PCI Core Support
└─>Samsung Exynos PCIe controller
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Enables support for the PCIe controller in the Samsung Exynos SoCs
to work in host mode. The PCI controller is based on the DesignWare
hardware and therefore the driver re-uses the DesignWare core
functions to implement the driver.

source code: