CONFIG_CLKSRC_MIPS_GIC (not configurable)
modulename: mips-gic-timer.ko
configname: CONFIG_CLKSRC_MIPS_GIC
Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>CLKSRC_MIPS_GIC