Home
last modified time | relevance | path

Searched refs:TSC_MULTIPLIER (Results 1 – 3 of 3) sorted by relevance

/xen/xen/include/asm-x86/hvm/vmx/
A Dvmcs.h421 TSC_MULTIPLIER = 0x00002032, enumerator
/xen/xen/arch/x86/hvm/vmx/
A Dvmcs.c1324 __vmwrite(TSC_MULTIPLIER, d->arch.hvm.tsc_scaling_ratio); in construct_vmcs()
2077 vmr(TSC_OFFSET), vmr(TSC_MULTIPLIER)); in vmcs_dump_vcpu()
A Dvmx.c1237 __vmwrite(TSC_MULTIPLIER, hvm_tsc_scaling_ratio(v->domain)); in vmx_setup_tsc_scaling()

Completed in 14 milliseconds