Index: kernel/generic/include/mm/as.h
===================================================================
--- kernel/generic/include/mm/as.h	(revision c6a7b3a033a06e25a2eafce5e62b9f06f4794dee)
+++ kernel/generic/include/mm/as.h	(revision e1d2f0e6893c49e318a43068352840392497a4cc)
@@ -250,4 +250,7 @@
 extern int as_area_change_flags(as_t *, unsigned int, uintptr_t);
 
+//TODO REMOVE!
+extern as_area_t * find_locked_area(as_t *as, uintptr_t va);
+
 extern unsigned int as_area_get_flags(as_area_t *);
 extern bool as_area_check_access(as_area_t *, pf_access_t);