Xilinx GPIO support

modulename: xilinx_gpio.ko

and/or

gpio-xilinx.ko

configname: CONFIG_GPIO_XILINX

Linux Kernel Configuration
└─>Device Drivers
└─>GPIO Support
└─>Xilinx GPIO support
In linux kernel since version 2.6.28 (release Date: 2008-12-24)  
Say yes here to support the Xilinx FPGA GPIO device

source code:
drivers/gpio/xilinx_gpio.c