Searched refs:l1_tsc (Results 1 – 1 of 1) sorted by relevance
74 uint64_t l1_tsc = rdtsc() - TSC_OFFSET_VALUE; in l2_guest_code() local76 wrmsr(MSR_IA32_TSC, l1_tsc - TSC_ADJUST_VALUE); in l2_guest_code()