svm_get_guest_regctx
struct svm_regctx *ctx = svm_get_guest_regctx(svm_sc, vcpu);
struct svm_regctx *ctx = svm_get_guest_regctx(svm_sc, vcpu);
ctx = svm_get_guest_regctx(svm_sc, vcpu);
gctx = svm_get_guest_regctx(svm_sc, vcpu);
regp = swctx_regptr(svm_get_guest_regctx(sc, vcpu), ident);
regp = swctx_regptr(svm_get_guest_regctx(sc, vcpu), ident);
regctx = svm_get_guest_regctx(svm_sc, vcpu);
regctx = svm_get_guest_regctx(svm_sc, vcpu);