Time Stamp Counter
In x86-64 mode , codice_1 also clears the higher 32 bits of RAX and RDX . 
<triplet> x86-64 <subj> RAX <obj> different from <subj> RDX <obj> different from <triplet> RAX <subj> x86-64 <obj> different from