[BITS 32]

GLOBAL HalReadTimestampCounter
EXTERN g_ullTimeStampCounter        
        
[SECTION .text]
;;;
;;; ULONGLONG
;;; HalReadTimestampCounter(void)
;;; 
;;; Function to read the processor's timestamp counter
;;;
HalReadTimestampCounter:
        ALIGN 4
        rdtsc
        mov [g_ullTimeStampCounter], edx
        mov [g_ullTimeStampCounter+4], eax
        ret