svm_getreg
static int svm_getreg(void *arg, int vcpu, int ident, uint64_t *val);
.vmgetreg = svm_getreg,
err = svm_getreg(svm_sc, vcpu, reg, &val);