Does anyone have a C code snippet to read the high resolution Pentium timer? I am presuming it is 64 bits. Thanks