Pinctrl driver for Xilinx Zynq

modulename: pinctrl-zynq.ko

configname: CONFIG_PINCTRL_ZYNQ

Linux Kernel Configuration
└─>Device Drivers
└─>Pin controllers
└─>Pinctrl driver for Xilinx Zynq
In linux kernel since version 3.10 (release Date: 2013-06-30)  
This selects the pinctrl driver for Xilinx Zynq.

source code: