Pinctrl driver for the Microsemi Ocelot and Jaguar2 SoCs

modulename: pinctrl-ocelot.ko

configname: CONFIG_PINCTRL_OCELOT

Linux Kernel Configuration
└─>Device Drivers
└─>Pin controllers
└─>Device Tree and Open Firmware support
└─>Pinctrl driver for the Microsemi Ocelot and Jaguar2 SoCs
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Support for the internal GPIO interfaces on Microsemi Ocelot and
Jaguar2 SoCs.

If conpiled as a module, the module name will be pinctrl-ocelot.

source code: