Symbol: svm_get_guest_regctx
sys/amd64/vmm/amd/svm.c
1266
ctx = svm_get_guest_regctx(vcpu);
sys/amd64/vmm/amd/svm.c
1361
ctx = svm_get_guest_regctx(vcpu);
sys/amd64/vmm/amd/svm.c
2145
gctx = svm_get_guest_regctx(vcpu);
sys/amd64/vmm/amd/svm.c
2354
reg = swctx_regptr(svm_get_guest_regctx(vcpu), ident);
sys/amd64/vmm/amd/svm.c
2384
reg = swctx_regptr(svm_get_guest_regctx(vcpu), ident);
sys/amd64/vmm/amd/svm.c
842
regs = svm_get_guest_regctx(vcpu);