mmu_page_zap_pte
zapped += mmu_page_zap_pte(kvm, sp, sp->spt + i, invalid_list);
mmu_page_zap_pte(vcpu->kvm, sp, spte, NULL);
mmu_page_zap_pte(vcpu->kvm, sp, iterator.sptep, NULL);