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