/drivers/arm/timer/
../
private_timer.c
sp804.c
system_timer.c