Searched refs:CurrentTscValue (Results 1 – 1 of 1) sorted by relevance
538 UINT64 CurrentTscValue; in SwitchBSP() local600 CurrentTscValue = AsmReadTsc (); in SwitchBSP()612 AsmWriteMsr64 (MSR_IA32_TIME_STAMP_COUNTER, CurrentTscValue); in SwitchBSP()