Xilinx SPI controller

modulename: xilinx_spi.ko

and/or

spi-xilinx.ko

configname: CONFIG_SPI_XILINX

Linux Kernel Configuration
└─>Device Drivers
└─>SPI support
└─>Xilinx SPI controller
In linux kernel since version 2.6.24 (release Date: 2008-01-24)  
This exposes the SPI controller IP from the Xilinx EDK.

See the "OPB Serial Peripheral Interface (SPI) (v1.00e)"
Product Specification document (DS464) for hardware details.

source code:
drivers/spi/xilinx_spi.c