CONFIG_GPIO_MVEBU (not configurable)

modulename: gpio-mvebu.ko

configname: CONFIG_GPIO_MVEBU

Linux Kernel Configuration
└─>Device Drivers
└─>GPIO Support
└─>Memory mapped GPIO drivers
└─>Device Tree and Open Firmware support
└─>GPIO_MVEBU
In linux kernel since version 3.1 (release Date: 2011-10-24)  
source code:
drivers/gpio/gpio-mvebu.c
selects
CONFIG_GENERIC_IRQ_CHIP
&
CONFIG_REGMAP_MMIO