Symbol: swctx_regptr
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);