CONFIG_SUNXI_TIMER (not configurable)

modulename: sunxi_timer.ko

configname: CONFIG_SUNXI_TIMER

Linux Kernel Configuration
└─>Device Drivers
└─>SUNXI_TIMER
In linux kernel since version 3.8 (release Date: 2013-02-18)  
source code:
drivers/clocksource/sunxi_timer.c