Searched refs:TSC_MULTIPLIER (Results 1 – 2 of 2) sorted by relevance
171 TSC_MULTIPLIER = 0x00002032, enumerator
2167 vmcs_write64(TSC_MULTIPLIER, vmx->current_tsc_ratio); in vmx_vcpu_load()8156 vmcs_readl(TSC_MULTIPLIER)); in dump_vmcs()