src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1149

vmx_vmcs_leave(vcpu);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2269

vmx_vmcs_leave(vcpu);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2469

vmx_vmcs_leave(vcpu);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2760

vmx_vmcs_leave(vcpu);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2863

vmx_vmcs_leave(vcpu);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3045

vmx_vmcs_leave(vcpu);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1149

vmx_vmcs_leave(vcpu);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2269

vmx_vmcs_leave(vcpu);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2469

vmx_vmcs_leave(vcpu);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2760

vmx_vmcs_leave(vcpu);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2863

vmx_vmcs_leave(vcpu);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3045

vmx_vmcs_leave(vcpu);