Searched refs:MSR_IA32_TIME_STAMP_COUNTER (Results 1 – 2 of 2) sorted by relevance
64 #define MSR_IA32_TIME_STAMP_COUNTER 0x10 macro
612 AsmWriteMsr64 (MSR_IA32_TIME_STAMP_COUNTER, CurrentTscValue); in SwitchBSP()