Searched refs:TSC_MULTIPLIER (Results 1 – 3 of 3) sorted by relevance
220 TSC_MULTIPLIER = 0x00002032, enumerator
497 vmcs_write64(TSC_MULTIPLIER, vmx->current_tsc_ratio); in decache_tsc_multiplier()
6052 vmcs_read64(TSC_MULTIPLIER)); in dump_vmcs()