Searched refs:TSC_OFFSET (Results 1 – 3 of 3) sorted by relevance
124 { MASK(64), TSC_OFFSET },463 vmcs_write(TSC_OFFSET, 0x0123456789ABCDEFull); in test_vmcs_high()464 report(vmcs_read(TSC_OFFSET) == 0x0123456789ABCDEFull, in test_vmcs_high()471 report(vmcs_read(TSC_OFFSET) == 0x7654321089ABCDEFull, in test_vmcs_high()
226 TSC_OFFSET = 0x2010ul, enumerator
8872 vmcs_write(TSC_OFFSET, GUEST_TSC_OFFSET); in vmx_store_tsc_test()10330 vmcs_write(TSC_OFFSET, -rdtsc()); in reset_guest_tsc_to_zero()10353 t += vmcs_read(TSC_OFFSET); in host_time_to_guest_time()