Index: kernel/generic/src/cap/cap.c
===================================================================
--- kernel/generic/src/cap/cap.c	(revision bb9711836ee2378ff4d687181e9bf5bed89b1cbe)
+++ kernel/generic/src/cap/cap.c	(revision 91bef4466a8188479f9e9d0a05c8762be7de2ec7)
@@ -101,13 +101,13 @@
 }
 
-static size_t caps_key_hash(void *key)
-{
-	cap_handle_t *handle = (cap_handle_t *) key;
+static size_t caps_key_hash(const void *key)
+{
+	const cap_handle_t *handle = key;
 	return hash_mix(cap_handle_raw(*handle));
 }
 
-static bool caps_key_equal(void *key, const ht_link_t *item)
-{
-	cap_handle_t *handle = (cap_handle_t *) key;
+static bool caps_key_equal(const void *key, const ht_link_t *item)
+{
+	const cap_handle_t *handle = key;
 	cap_t *cap = hash_table_get_inst(item, cap_t, caps_link);
 	return *handle == cap->handle;