Index: kernel/generic/include/mm/as.h
===================================================================
--- kernel/generic/include/mm/as.h	(revision 91507812516c0728a041c0c15107b417b5b927d3)
+++ kernel/generic/include/mm/as.h	(revision 663bb537d9c433694c6c3bc666c5d7da97a2f63b)
@@ -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 *);