Generates the rdtscp instruction, writes TSC_AUX[31:0] to memory, and returns the 64-bit Time Stamp Counter (TSC) result.
This intrinsic generates the rdtscp instruction. To determine hardware support for this instruction, call the __cpuid intrinsic with InfoType=0x80000001 and check bit 27 of CPUInfo (EDX). This bit is 1 if the instruction is supported, and 0 otherwise. If you run code that uses this intrinsic on hardware that does not support the rdtscp instruction, the results are unpredictable.
Unlike rdtsc, rdtscp is a serializing instruction; nevertheless, the compiler can move code around this intrinsic.
The interpretation of the TSC value in this generation of hardware differs from that in earlier versions of x64. See hardware manuals for more information.
The meaning of the value in TSC_AUX[31:0] depends on the operating system.