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);
old_spte, FROZEN_SPTE, level, shared);
if (!try_cmpxchg64(rcu_dereference(sptep), &old_spte, FROZEN_SPTE))