FROZEN_SPTE
spte = FROZEN_SPTE;
WARN_ON(mmio_value && (FROZEN_SPTE & mmio_mask) == mmio_value))
static_assert(!(FROZEN_SPTE & (SPTE_MMU_PRESENT_MASK |
return spte == FROZEN_SPTE;
old_spte = kvm_tdp_mmu_write_spte_atomic(sptep, FROZEN_SPTE);
FROZEN_SPTE, level);
handle_changed_spte(kvm, sp, gfn, old_spte, FROZEN_SPTE, level, shared);
ret = __tdp_mmu_set_spte_atomic(kvm, iter, FROZEN_SPTE);