src/timer/linux