Update comments here and in linux driver.
Change-Id: I78a84118341aa2b85a2a9a12480ffc2e17a47f44
diff --git a/driver/linux b/driver/linux
index ce08e9e..89d0e47 160000
--- a/driver/linux
+++ b/driver/linux
@@ -1 +1 @@
-Subproject commit ce08e9ec0915563d60536c048708389e1345b5fe
+Subproject commit 89d0e473d2532bc82ca7e2c594492b1dae194c54
diff --git a/src/mm.c b/src/mm.c
index d31da51..830fb28 100644
--- a/src/mm.c
+++ b/src/mm.c
@@ -501,7 +501,7 @@
}
/**
- * Write the given table to the debug log.
+ * Writes the given table to the debug log.
*/
void mm_ptable_dump(struct mm_ptable *t, int mode)
{
@@ -515,9 +515,9 @@
}
/**
- * Given the table PTE entries are all have identical attributes, return the
- * single entry with which it can be replaced. Note that the table PTE will no
- * longer be valid after calling this function as the table may have been freed.
+ * Given the table PTE entries all have identical attributes, returns the single
+ * entry with which it can be replaced. Note that the table PTE will no longer
+ * be valid after calling this function as the table may have been freed.
*
* If the table is freed, the memory is freed directly rather than calling
* `mm_free_page_pte()` as it is known to not have subtables.
@@ -557,7 +557,7 @@
}
/**
- * Defragment the given PTE by recursively replacing any tables with blocks or
+ * Defragments the given PTE by recursively replacing any tables with blocks or
* absent entries where possible.
*/
static pte_t mm_ptable_defrag_entry(pte_t entry, uint8_t level,