Searched refs:TSC_OFFSET_HI (Results 1 – 2 of 2) sorted by relevance
466 report(vmcs_read(TSC_OFFSET_HI) == 0x01234567ull, in test_vmcs_high()468 vmcs_write(TSC_OFFSET_HI, 0x76543210ul); in test_vmcs_high()469 report(vmcs_read(TSC_OFFSET_HI) == 0x76543210ul, in test_vmcs_high()
227 TSC_OFFSET_HI = 0x2011ul, enumerator