Searched refs:vmx_msr_guest_enter_tsc_aux (Results 1 – 3 of 3) sorted by relevance
38 void vmx_msr_guest_enter_tsc_aux(struct vmx *vmx, int vcpuid);
365 vmx_msr_guest_enter_tsc_aux(struct vmx *vmx, int vcpuid) in vmx_msr_guest_enter_tsc_aux() function
3116 vmx_msr_guest_enter_tsc_aux(vmx, vcpu); in vmx_run()