Searched refs:l1_vmx_pt_start (Results 1 – 1 of 1) sorted by relevance
72 u64 l1_vmx_pt_start; in l1_guest_code() local115 l1_vmx_pt_start = (rdtsc() >> vmx_pt_rate) << vmx_pt_rate; in l1_guest_code()132 l1_tsc_deadline = l1_vmx_pt_start + in l1_guest_code()