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

/freebsd-12-stable/sys/amd64/vmm/intel/
H A Dvmx_msr.h40 void vmx_msr_guest_exit(struct vmx *vmx, int vcpuid);
H A Dvmx_msr.c375 vmx_msr_guest_exit(struct vmx *vmx, int vcpuid) function
H A Dvmx.c3158 vmx_msr_guest_exit(vmx, vcpu);

Completed in 105 milliseconds