@instruction<EOL><INDENT>def RDTSC(cpu):<DEDENT>
val = cpu.icount<EOL>cpu.RAX = val & <NUM_LIT><EOL>cpu.RDX = (val >> <NUM_LIT:32>) & <NUM_LIT><EOL>
Reads time-stamp counter.

Loads the current value of the processor's time-stamp counter into the
EDX:EAX registers.  The time-stamp counter is contained in a 64-bit
MSR. The high-order 32 bits of the MSR are loaded into the EDX
register, and the low-order 32 bits are loaded into the EAX register.
The processor increments the time-stamp counter MSR every clock cycle
and resets it to 0 whenever the processor is reset.

:param cpu: current CPU.