Searched refs:TSC_MULTIPLIER_HIGH (Results 1 – 3 of 3) sorted by relevance
110 vmwrite(TSC_MULTIPLIER_HIGH, TSC_MULTIPLIER_L2 >> 32); in l1_guest_code()
209 TSC_MULTIPLIER_HIGH = 0x00002033, enumerator
223 TSC_MULTIPLIER_HIGH = 0x00002033, enumerator
Completed in 15 milliseconds