Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision c03ee1c304c982b593d8043411e6b003dd1c155a)
+++ kernel/generic/src/mm/as.c	(revision 5b890cfd720c2aff261ff5ac61a7d6fadd660034)
@@ -1224,6 +1224,12 @@
 }
 
-/** Return size of the address space area with given base.  */
-size_t as_get_size(uintptr_t base)
+/** Return size of the address space area with given base.
+ *
+ * @param base		Arbitrary address insede the address space area.
+ *
+ * @return		Size of the address space area in bytes or zero if it
+ *			does not exist.
+ */
+size_t as_area_get_size(uintptr_t base)
 {
 	ipl_t ipl;