Searched refs:vmx_pt_rate (Results 1 – 1 of 1) sorted by relevance
28 u32 vmx_pt_rate; variable42 l2_vmx_pt_start = (rdtsc() >> vmx_pt_rate) << vmx_pt_rate; in l2_guest_code()50 vmx_pt_rate; in l2_guest_code()111 vmx_pt_rate = rdmsr(MSR_IA32_VMX_MISC) & 0x1F; in l1_guest_code()115 l1_vmx_pt_start = (rdtsc() >> vmx_pt_rate) << vmx_pt_rate; in l1_guest_code()133 (PREEMPTION_TIMER_VALUE << vmx_pt_rate); in l1_guest_code()136 (PREEMPTION_TIMER_VALUE << vmx_pt_rate); in l1_guest_code()