sys/amd64/vmm/amd/svm.c

1003

ctrl = svm_get_vmcb_ctrl(vcpu);

sys/amd64/vmm/amd/svm.c

1019

ctrl = svm_get_vmcb_ctrl(vcpu);

sys/amd64/vmm/amd/svm.c

1050

ctrl = svm_get_vmcb_ctrl(vcpu);

sys/amd64/vmm/amd/svm.c

1072

ctrl = svm_get_vmcb_ctrl(vcpu);

sys/amd64/vmm/amd/svm.c

1093

ctrl = svm_get_vmcb_ctrl(vcpu);

sys/amd64/vmm/amd/svm.c

1108

ctrl = svm_get_vmcb_ctrl(vcpu);

sys/amd64/vmm/amd/svm.c

1758

ctrl = svm_get_vmcb_ctrl(vcpu);

sys/amd64/vmm/amd/svm.c

1955

ctrl = svm_get_vmcb_ctrl(vcpu);

sys/amd64/vmm/amd/svm.c

2141

ctrl = svm_get_vmcb_ctrl(vcpu);

sys/amd64/vmm/amd/svm.c

300

ctrl = svm_get_vmcb_ctrl(vcpu);

sys/amd64/vmm/amd/svm.c

425

ctrl = svm_get_vmcb_ctrl(vcpu);

sys/amd64/vmm/amd/svm.c

437

ctrl = svm_get_vmcb_ctrl(vcpu);

sys/amd64/vmm/amd/svm.c

475

ctrl = svm_get_vmcb_ctrl(vcpu);

sys/amd64/vmm/amd/svm.c

841

ctrl = svm_get_vmcb_ctrl(vcpu);

sys/amd64/vmm/amd/svm.c

963

ctrl = svm_get_vmcb_ctrl(vcpu);