[rdtsc]

Sorry, of course you are right. And it is too late to 'edit' the comment. Thanks for pointing it out.