Searched refs:vmx_pt_rate (Results 1 – 1 of 1) sorted by relevance
29 u32 vmx_pt_rate; variable43 l2_vmx_pt_start = (rdtsc() >> vmx_pt_rate) << vmx_pt_rate; in l2_guest_code()51 vmx_pt_rate; in l2_guest_code()112 vmx_pt_rate = rdmsr(MSR_IA32_VMX_MISC) & 0x1F; in l1_guest_code()116 l1_vmx_pt_start = (rdtsc() >> vmx_pt_rate) << vmx_pt_rate; in l1_guest_code()134 (PREEMPTION_TIMER_VALUE << vmx_pt_rate); in l1_guest_code()137 (PREEMPTION_TIMER_VALUE << vmx_pt_rate); in l1_guest_code()