svm_get_rflags
svm->nmi_singlestep_guest_rflags = svm_get_rflags(vcpu);
.get_rflags = svm_get_rflags,