Symbol: swctx_regptr
usr/src/uts/intel/io/vmm/amd/svm.c
2124
regp = swctx_regptr(svm_get_guest_regctx(sc, vcpu), ident);
usr/src/uts/intel/io/vmm/amd/svm.c
2206
regp = swctx_regptr(svm_get_guest_regctx(sc, vcpu), ident);