Home
last modified time | relevance | path

Searched refs:TSC_OFFSET (Results 1 – 4 of 4) sorted by relevance

/xen/xen/include/asm-x86/hvm/vmx/
A Dvmcs.h408 TSC_OFFSET = 0x00002010, enumerator
/xen/xen/arch/x86/hvm/vmx/
A Dvvmx.c868 offset = get_vvmcs(v, TSC_OFFSET); in nvmx_get_tsc_offset()
2599 msr_split(regs, hvm_get_guest_tsc(v) + get_vvmcs(v, TSC_OFFSET)); in nvmx_n2_vmexit_handler()
A Dvmcs.c2077 vmr(TSC_OFFSET), vmr(TSC_MULTIPLIER)); in vmcs_dump_vcpu()
A Dvmx.c1248 __vmwrite(TSC_OFFSET, offset); in vmx_set_tsc_offset()

Completed in 19 milliseconds