svm_setreg
static int svm_setreg(void *arg, int vcpu, int ident, uint64_t val);
error = svm_setreg(sc, vcpu, VM_REG_GUEST_EFER, newval);
VERIFY0(svm_setreg(svm_sc, vcpu, VM_REG_GUEST_CR2,
.vmsetreg = svm_setreg,
err = svm_setreg(svm_sc, vcpu, reg, val);