Use plain C in timer_rdtsc for division instead of inline asssembly.