__kvm_tdp_mmu_write_spte
__kvm_tdp_mmu_write_spte(sptep, new_spte);
__kvm_tdp_mmu_write_spte(sptep, old_spte & ~mask);
__kvm_tdp_mmu_write_spte(sptep, old_spte);
__kvm_tdp_mmu_write_spte(sptep, new_spte);