Versatile Express System Registers

modulename: vexpress-sysreg.ko

configname: CONFIG_MFD_VEXPRESS_SYSREG

Linux Kernel Configuration
└─>Device Drivers
└─>Multifunction device drivers
└─>GPIO Support
└─>Versatile Express System Registers
In linux kernel since version 3.10 (release Date: 2013-06-30)  
System Registers are the platform configuration block
on the ARM Ltd. Versatile Express board.

source code: