sys/amd64/vmm/amd/svm.c

1362

vmcb = svm_get_vmcb(vcpu);

sys/amd64/vmm/amd/svm.c

1496

svm_paging_info(svm_get_vmcb(vcpu),

sys/amd64/vmm/amd/svm.c

858

svm_paging_info(svm_get_vmcb(vcpu), &vis->paging);

sys/amd64/vmm/amd/vmcb.c

124

vmcb = svm_get_vmcb(vcpu);

sys/amd64/vmm/amd/vmcb.c

169

vmcb = svm_get_vmcb(vcpu);

sys/amd64/vmm/amd/vmcb.c

275

vmcb = svm_get_vmcb(vcpu);

sys/amd64/vmm/amd/vmcb.c

387

vmcb = svm_get_vmcb(vcpu);

sys/amd64/vmm/amd/vmcb.c

436

vmcb = svm_get_vmcb(vcpu);