Searched refs:vmx_arm_hv_timer (Results 1 – 1 of 1) sorted by relevance
10620 static void vmx_arm_hv_timer(struct vcpu_vmx *vmx, u32 val) in vmx_arm_hv_timer() function10636 vmx_arm_hv_timer(vmx, 0); in vmx_update_hv_timer()10649 vmx_arm_hv_timer(vmx, delta_tsc); in vmx_update_hv_timer()
