Searched refs:vmx_msr_guest_exit_tsc_aux (Results 1 – 3 of 3) sorted by relevance
41 void vmx_msr_guest_exit_tsc_aux(struct vmx *vmx, int vcpuid);
396 vmx_msr_guest_exit_tsc_aux(struct vmx *vmx, int vcpuid) in vmx_msr_guest_exit_tsc_aux() function
3131 vmx_msr_guest_exit_tsc_aux(vmx, vcpu); in vmx_run()