svm_get_iflag
int svm_get_iflag(struct vcpu *, uint64_t);
if (!svm_get_iflag(vcpu, rflags)) {
if (svm_get_iflag(vcpu, vcpu->vc_gueststate.vg_rflags))