Precise user-space timer using the CPU clock