Index: kernel/generic/src/ipc/sysipc.c
===================================================================
--- kernel/generic/src/ipc/sysipc.c	(revision b76a22177c4c3a1dbff86603b43c86fa730488e2)
+++ kernel/generic/src/ipc/sysipc.c	(revision b878df35b26c3ffd9e0cba6d2ed11dbf7ba0d58b)
@@ -257,5 +257,5 @@
 		break;
 	case IPC_M_AS_AREA_SEND:
-		size = as_get_size(IPC_GET_ARG1(call->data));
+		size = as_area_get_size(IPC_GET_ARG1(call->data));
 		if (!size)
 			return EPERM;
Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision b76a22177c4c3a1dbff86603b43c86fa730488e2)
+++ kernel/generic/src/mm/as.c	(revision b878df35b26c3ffd9e0cba6d2ed11dbf7ba0d58b)
@@ -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;