spte_needs_atomic_update
if (!spte_needs_atomic_update(old_spte))
!spte_needs_atomic_update(old_spte))
bool spte_needs_atomic_update(u64 spte);
spte_needs_atomic_update(old_spte);