Como sugerido por @MarkPlotnick, não há interface /sys ou /proc para isso. Você tem que usar um programa como adjtimex para fazer as chamadas de sistema apropriadas para vê-lo.
A página man para adjtimex diz
Anyone may print out the time variables, but only the superuser may change them.
Como posso ver o valor mostrado por adjtimex -p como a variável tick sem usar adjtimex ? Eu naveguei por aí em /proc/sys/kernel e alguns em /sys , mas ainda não encontrei nada que me mostre esse valor.
(Estou executando Debian Jessie em uma placa de desenvolvimento ARM)