Index: kernel/genarch/src/mm/page_ht.c
===================================================================
--- kernel/genarch/src/mm/page_ht.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/genarch/src/mm/page_ht.c	(revision e3f819f43b108ff90a50324cbced9c2b89d2171e)
@@ -222,6 +222,5 @@
 }
 
-static pte_t *
-ht_mapping_find_internal(as_t *as, uintptr_t page, bool nolock)
+static pte_t *ht_mapping_find_internal(as_t *as, uintptr_t page, bool nolock)
 {
 	uintptr_t key[2] = {