}
        }
 
-       kvm_register_mark_available(vcpu, VCPU_EXREG_PDPTR);
-       if (memcmp(mmu->pdptrs, pdpte, sizeof(mmu->pdptrs))) {
-               memcpy(mmu->pdptrs, pdpte, sizeof(mmu->pdptrs));
-               kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR);
-               kvm_make_request(KVM_REQ_LOAD_MMU_PGD, vcpu);
-       }
+       memcpy(mmu->pdptrs, pdpte, sizeof(mmu->pdptrs));
+       kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR);
+       kvm_make_request(KVM_REQ_LOAD_MMU_PGD, vcpu);
        vcpu->arch.pdptrs_from_userspace = false;
 
        return 1;