/proc/4/root/sys/devices/system/clocksource/clocksource0/

../
available_clocksource      4096
current_clocksource        4096