check_spte_writable_invariants
check_spte_writable_invariants(new_spte);
check_spte_writable_invariants(spte);