/proc/sys/dev/hpet/