Changes in kernel/genarch/src/mm/page_ht.c [a35b458:4b1c7c6f] in mainline

File:

• kernel/genarch/src/mm/page_ht.c (modified) (2 diffs)

kernel/genarch/src/mm/page_ht.c

@@ -61 +61 @@
 static void ht_mapping_remove(as_t *, uintptr_t);
 static bool ht_mapping_find(as_t *, uintptr_t, bool, pte_t *);
-static void ht_mapping_update(as_t *, uintptr_t, bool, pte_t *);
+static void ht_mapping_update(as_t *, uintptr_t, bool, const pte_t *);
 static void ht_mapping_make_global(uintptr_t, size_t);
 
@@ -268 +268 @@
  * @param pte      New PTE.
  */
-void ht_mapping_update(as_t *as, uintptr_t page, bool nolock, pte_t *pte)
+void ht_mapping_update(as_t *as, uintptr_t page, bool nolock, const pte_t *pte)
 {
         irq_spinlock_lock(&page_ht_lock, true);