Signed-off-by: Gleb Natapov <gleb@redhat.com>
Signed-off-by: Marcelo Tosatti <mtosatti@redhat.com>
                if (s->role.level != PT_PAGE_TABLE_LEVEL)
                        return 1;
 
-               if (!need_unsync && !s->unsync) {
+               if (!s->unsync)
                        need_unsync = true;
-               }
        }
        if (need_unsync)
                kvm_unsync_pages(vcpu, gfn);
                              !((sp->role.word ^ vcpu->arch.mmu.base_role.word)
                              & mask.word) && rmap_can_add(vcpu))
                                mmu_pte_write_new_pte(vcpu, sp, spte, &gentry);
-                       if (!remote_flush && need_remote_flush(entry, *spte))
+                       if (need_remote_flush(entry, *spte))
                                remote_flush = true;
                        ++spte;
                }