Index: kernel/generic/include/mm/as.h
===================================================================
--- kernel/generic/include/mm/as.h	(revision 91507812516c0728a041c0c15107b417b5b927d3)
+++ kernel/generic/include/mm/as.h	(revision 1624aae856f80d18d27a0bc580a4428f2df511cb)
@@ -229,4 +229,6 @@
 extern as_t *as_create(int);
 extern void as_destroy(as_t *);
+extern void as_hold(as_t *);
+extern void as_release(as_t *);
 extern void as_switch(as_t *, as_t *);
 extern int as_page_fault(uintptr_t, pf_access_t, istate_t *);