Index: kernel/generic/include/ipc/ipc.h
===================================================================
--- kernel/generic/include/ipc/ipc.h	(revision 00bb696504df128091618d2a7955209b9f94202f)
+++ kernel/generic/include/ipc/ipc.h	(revision 0313ff0ebb436deb6a48b67d17b944f3fc79f731)
@@ -139,9 +139,9 @@
 
 /** Get as_area over IPC
- * - ARG1 - where the as_area will be mapped
- * - ARG2 - expected size of the as_area
+ * - ARG1 - dst as_area base address
+ * - ARG2 - dst as_area size
  * - ARG3 - user defined argument
  * 
- * on answer, the server sets:
+ * on answer, the server must set:
  *
  * - ARG1 - src as_area base address