merge <jinue/shared/ipc.h> into types.h

include/jinue/jinue.h

@@ -36,7 +36,6 @@
 #include <jinue/shared/asm/memory.h>
 #include <jinue/shared/asm/permissions.h>
 #include <jinue/shared/asm/syscall.h>
-#include <jinue/shared/ipc.h>
 #include <jinue/shared/types.h>
 #include <jinue/shared/vm.h>
 #include <stddef.h>

include/jinue/shared/types.h

@@ -62,6 +62,26 @@ typedef struct {
     uintptr_t arg3;
 } jinue_syscall_args_t;
 
+typedef struct {
+    void        *addr;
+    size_t       size;
+} jinue_buffer_t;
+
+typedef struct {
+    const void  *addr;
+    size_t       size;
+} jinue_const_buffer_t;
+
+typedef struct {
+    const jinue_const_buffer_t  *send_buffers;
+    size_t                       send_buffers_length;
+    const jinue_buffer_t        *recv_buffers;
+    size_t                       recv_buffers_length;
+    uintptr_t                    recv_function;
+    uintptr_t                    recv_cookie;
+    uintptr_t                    reply_max_size;
+} jinue_message_t;
+
 typedef struct {
 	uint64_t	addr;
 	uint64_t	size;

include/kernel/types.h

@@ -32,7 +32,7 @@
 #ifndef JINUE_KERNEL_TYPES_H
 #define JINUE_KERNEL_TYPES_H
 
-#include <jinue/shared/ipc.h>
+#include <jinue/shared/asm/ipc.h>
 #include <jinue/shared/types.h>
 #include <kernel/machine/types.h>
 #include <kernel/utils/list.h>

kernel/domain/services/ipc.c

@@ -30,7 +30,8 @@
  */
 
 #include <jinue/shared/asm/errno.h>
-#include <jinue/shared/ipc.h>
+#include <jinue/shared/asm/ipc.h>
+#include <jinue/shared/types.h>
 #include <jinue/shared/vm.h>
 #include <kernel/domain/entities/endpoint.h>
 #include <kernel/domain/entities/object.h>