Searched refs:vmx_msr_guest_exit (Results 1 – 3 of 3) sorted by relevance
38 void vmx_msr_guest_exit(struct vmx *vmx, int vcpuid);
401 vmx_msr_guest_exit(struct vmx *vmx, int vcpuid) in vmx_msr_guest_exit() function
2972 vmx_msr_guest_exit(vmx, vcpu); in vmx_run()3833 vmx_msr_guest_exit(vmx, vcpu); in vmx_savectx()