CONFIG_GPIO_TB10X (not configurable)

modulename: gpio-tb10x.ko

configname: CONFIG_GPIO_TB10X

Linux Kernel Configuration
└─>Device Drivers
└─>GPIO Support
└─>Memory mapped GPIO drivers
└─>GPIO_TB10X
In linux kernel since version 3.13 (release Date: 2014-01-19)  
source code:
drivers/gpio/gpio-tb10x.c
selects
CONFIG_GPIO_GENERIC
CONFIG_GENERIC_IRQ_CHIP
CONFIG_OF_GPIO