Check out the following excerpt from the Intel manual. According to section 16.12, I think that βnewer processorsβ below refer to any processor, but to Pentium 4. You can simultaneously atomically determine the value of tsc and the kernel identifier using the rdtscp command, if supported. However, I have not tried. Good luck.
Intel 64 and IA-32 Software Developer Guide
Volume 3 (3A and 3B): System Programming Guide:
Chapter 16.12.1 Invariant TSC
The timestamp counter in new processors may support the extension indicated as invariant TSC. Processor support for invariant TSC is indicated by CPUID.80000007H :. EDX [8]
TSC ACPI P-, C-. T-.
. TSC
, OS TSC ( ACPI
HPET). TSC
.
Intel , cpu rdtsc - http://download.intel.com/embedded/software/IA/324264.pdf