/sys/dev/timer/