Symbol: check_spte_writable_invariants