http://www.makelinux.net/books/ulk3/understandlk-CHP-6-SECT-1

The section explains different time sources available to linux. Also see /sys/devices/system/clocksource/clocksource0/current_clocksource