svm_getreg
static int svm_getreg(void *vcpui, int ident, uint64_t *val);
svm_getreg(vcpu, VM_REG_GUEST_DR6, &dr6);
svm_getreg(vcpu, VM_REG_GUEST_RFLAGS,
svm_getreg(vcpu, VM_REG_GUEST_RFLAGS, &rflags);
svm_getreg(vcpu, VM_REG_GUEST_RFLAGS, &rflags);
ret = svm_getreg(vcpui, ident, &val);
if (svm_getreg(vcpu, VM_REG_GUEST_RFLAGS, &rflags)) {
.getreg = svm_getreg,