Searched refs:TSC_MULTIPLIER_HIGH (Results 1 – 3 of 3) sorted by relevance
107 vmwrite(TSC_MULTIPLIER_HIGH, TSC_MULTIPLIER_L2 >> 32); in l1_guest_code()
167 TSC_MULTIPLIER_HIGH = 0x00002033, enumerator
231 TSC_MULTIPLIER_HIGH = 0x00002033, enumerator