Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision d91488d5ee58d949ba7b5886794767745c4c4393)
+++ kernel/generic/src/mm/as.c	(revision 598e3a7dcc96b2f091d82be312b26fcb5e85d65c)
@@ -187,5 +187,5 @@
  *
  */
-void as_destroy(as_t *as)
+static void as_destroy(as_t *as)
 {
 	DEADLOCK_PROBE_INIT(p_asidlock);