Support for Dual Timer SP804 module

modulename: timer-sp804.ko

configname: CONFIG_ARM_TIMER_SP804

Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>Support for Dual Timer SP804 module
In linux kernel since version 2.6.35 (release Date: 2010-08-01)  
source code:
drivers/clocksource/timer-sp804.c

depends
CONFIG_CLKDEV_LOOKUP
CONFIG_GENERIC_SCHED_CLOCK
NOT CONFIG_ARCH_USES_GETTIMEOFFSET