Changes in kernel/generic/src/mm/as.c [ca21f1e2:0705fc5] in mainline

File:

• kernel/generic/src/mm/as.c (modified) (1 diff)

kernel/generic/src/mm/as.c

@@ -187 +187 @@
  *
  */
-static void as_destroy(as_t *as)
+void as_destroy(as_t *as)
 {
         DEADLOCK_PROBE_INIT(p_asidlock);