Searched refs:vmx_msr_guest_exit_tsc_aux (Results 1 - 3 of 3) sorted by relevance

/freebsd-12-stable/sys/amd64/vmm/intel/
H A Dvmx_msr.h41 void vmx_msr_guest_exit_tsc_aux(struct vmx *vmx, int vcpuid);
H A Dvmx_msr.c396 vmx_msr_guest_exit_tsc_aux(struct vmx *vmx, int vcpuid) function
H A Dvmx.c3113 vmx_msr_guest_exit_tsc_aux(vmx, vcpu);

Completed in 158 milliseconds