Searched refs:TSC_MULTIPLIER_HIGH (Results 1 – 3 of 3) sorted by relevance
131 vmwrite(TSC_MULTIPLIER_HIGH, TSC_MULTIPLIER_L2 >> 32); in l1_vmx_code()
165 TSC_MULTIPLIER_HIGH = 0x00002033, enumerator
260 TSC_MULTIPLIER_HIGH = 0x00002033, enumerator