* will clear a separate software-only bit (MMU-writable) and skip the
         * flush if-and-only-if this bit was already clear.
         *
-        * See DEFAULT_SPTE_MMU_WRITEABLE for more details.
+        * See DEFAULT_SPTE_MMU_WRITABLE for more details.
         */
        if (flush)
                kvm_arch_flush_remote_tlbs_memslot(kvm, memslot);
 
        shadow_acc_track_mask   = 0;
        shadow_me_mask          = sme_me_mask;
 
-       shadow_host_writable_mask = DEFAULT_SPTE_HOST_WRITEABLE;
-       shadow_mmu_writable_mask  = DEFAULT_SPTE_MMU_WRITEABLE;
+       shadow_host_writable_mask = DEFAULT_SPTE_HOST_WRITABLE;
+       shadow_mmu_writable_mask  = DEFAULT_SPTE_MMU_WRITABLE;
 
        /*
         * Set a reserved PA bit in MMIO SPTEs to generate page faults with
 
 static_assert(!(SPTE_TDP_AD_MASK & SHADOW_ACC_TRACK_SAVED_MASK));
 
 /*
- * *_SPTE_HOST_WRITEABLE (aka Host-writable) indicates whether the host permits
+ * *_SPTE_HOST_WRITABLE (aka Host-writable) indicates whether the host permits
  * writes to the guest page mapped by the SPTE. This bit is cleared on SPTEs
  * that map guest pages in read-only memslots and read-only VMAs.
  *
  *  - If Host-writable is clear, PT_WRITABLE_MASK must be clear.
  *
  *
- * *_SPTE_MMU_WRITEABLE (aka MMU-writable) indicates whether the shadow MMU
+ * *_SPTE_MMU_WRITABLE (aka MMU-writable) indicates whether the shadow MMU
  * allows writes to the guest page mapped by the SPTE. This bit is cleared when
  * the guest page mapped by the SPTE contains a page table that is being
  * monitored for shadow paging. In this case the SPTE can only be made writable
  */
 
 /* Bits 9 and 10 are ignored by all non-EPT PTEs. */
-#define DEFAULT_SPTE_HOST_WRITEABLE    BIT_ULL(9)
-#define DEFAULT_SPTE_MMU_WRITEABLE     BIT_ULL(10)
+#define DEFAULT_SPTE_HOST_WRITABLE     BIT_ULL(9)
+#define DEFAULT_SPTE_MMU_WRITABLE      BIT_ULL(10)
 
 /*
  * Low ignored bits are at a premium for EPT, use high ignored bits, taking care