Index: kernel/generic/include/ipc/ipc.h
===================================================================
--- kernel/generic/include/ipc/ipc.h	(revision f5b4fb9e3f8394a50dce063b7a44b6e5b2ab1468)
+++ kernel/generic/include/ipc/ipc.h	(revision 398d9671b5107efb3b6f884686352163ff7547c4)
@@ -147,5 +147,5 @@
  * - ARG1 - dst as_area base adress
  */
-#define IPC_M_AS_AREA_SEND	5
+#define IPC_M_AS_AREA_SEND	4	
 
 /** Get as_area over IPC
@@ -159,5 +159,5 @@
  * - ARG2 - flags that will be used for sharing
  */
-#define IPC_M_AS_AREA_RECV	6
+#define IPC_M_AS_AREA_RECV	5