amd64_timer 1.3.0

Get CPU ticks.