Searched refs:GUEST_TSC_OFFSET (Results 1 – 1 of 1) sorted by relevance
8843 #define GUEST_TSC_OFFSET (1u << 30) macro8872 vmcs_write(TSC_OFFSET, GUEST_TSC_OFFSET); in vmx_store_tsc_test()8878 report(low + GUEST_TSC_OFFSET <= guest_tsc && in vmx_store_tsc_test()8879 guest_tsc <= high + GUEST_TSC_OFFSET, in vmx_store_tsc_test()8881 guest_tsc, low + GUEST_TSC_OFFSET, high + GUEST_TSC_OFFSET); in vmx_store_tsc_test()