How to see kernel time variables without using adjtimex?

The man page for adjtimex says

Anyone may print out the time variables, but only the superuser may change them.

How do I see the value shown by adjtimex -p as the tick variable without using adjtimex? I've browsed around in /proc/sys/kernel as well as some in \sys but haven't yet found anything that shows me that value.

(I'm running Debian Jessie on a an ARM development board)