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 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -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] = {