svm_setreg
error = svm_setreg(vcpu, VM_REG_GUEST_EFER, newval);
static int svm_setreg(void *vcpui, int ident, uint64_t val);
error = svm_setreg(vcpu, VM_REG_GUEST_CR2, info2);
error = svm_setreg(vcpu, VM_REG_GUEST_DR6, dr6);
svm_setreg(vcpu, VM_REG_GUEST_RFLAGS, (rflags | PSL_T));
svm_setreg(vcpu, VM_REG_GUEST_RFLAGS, (rflags | PSL_T));
ret = svm_setreg(vcpui, ident, val);
if (svm_setreg(vcpu, VM_REG_GUEST_RFLAGS,
if (svm_setreg(vcpu, VM_REG_GUEST_RFLAGS,
.setreg = svm_setreg,