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)  
source code:
drivers/pinctrl/pinctrl-ocelot.c