sys/arch/amd64/amd64/vmm_machdep.c

1015

if (vcpu_reload_vmcs_vmx(vcpu))

sys/arch/amd64/amd64/vmm_machdep.c

1295

if (vcpu_reload_vmcs_vmx(vcpu))

sys/arch/amd64/amd64/vmm_machdep.c

2012

if (vcpu_reload_vmcs_vmx(vcpu)) {

sys/arch/amd64/amd64/vmm_machdep.c

3665

if (vcpu_reload_vmcs_vmx(vcpu)) {

sys/arch/amd64/amd64/vmm_machdep.c

5138

if (vcpu_reload_vmcs_vmx(vcpu)) {

sys/arch/amd64/amd64/vmm_machdep.c

5475

if (vcpu_reload_vmcs_vmx(vcpu)) {

sys/arch/amd64/amd64/vmm_machdep.c

5520

if (vcpu_reload_vmcs_vmx(vcpu)) {

sys/arch/amd64/amd64/vmm_machdep.c

85

int vcpu_reload_vmcs_vmx(struct vcpu *);