Index: kernel/genarch/src/mm/page_ht.c
===================================================================
--- kernel/genarch/src/mm/page_ht.c	(revision 67bcd81c93cb3e140875fa93fd665f0383799e7c)
+++ kernel/genarch/src/mm/page_ht.c	(revision 8f059b51c69ff84a0399aecd508111d3f470c821)
@@ -54,6 +54,6 @@
 
 static size_t ht_hash(const ht_link_t *);
-static size_t ht_key_hash(void *);
-static bool ht_key_equal(void *, const ht_link_t *);
+static size_t ht_key_hash(const void *);
+static bool ht_key_equal(const void *, const ht_link_t *);
 static void ht_remove_callback(ht_link_t *);
 
@@ -109,7 +109,7 @@
 
 /** Return the hash of the key. */
-size_t ht_key_hash(void *arg)
-{
-	uintptr_t *key = (uintptr_t *) arg;
+size_t ht_key_hash(const void *arg)
+{
+	const uintptr_t *key = arg;
 	size_t hash = 0;
 	hash = hash_combine(hash, key[KEY_AS]);
@@ -119,7 +119,7 @@
 
 /** Return true if the key is equal to the item's lookup key. */
-bool ht_key_equal(void *arg, const ht_link_t *item)
-{
-	uintptr_t *key = (uintptr_t *) arg;
+bool ht_key_equal(const void *arg, const ht_link_t *item)
+{
+	const uintptr_t *key = arg;
 	pte_t *pte = hash_table_get_inst(item, pte_t, link);
 	return (key[KEY_AS] == (uintptr_t) pte->as) &&