linux-stable-rt/kernel/time
..
Makefile
clocksource.c
jiffies.c
ntp.c