Changeset 6b10dab in mainline for kernel/generic/include/ipc/sysipc.h

Timestamp:

2010-12-14T15:26:36Z (13 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

dd8d5a7

Parents:

96b02eb9

Message:

ABI split: pass 64-bit task ID as plain 64-bit argument to SYS_IPC_CONNECT_KBOX, SYS_CAP_GRANT, SYS_CAP_REVOKE

File:

• kernel/generic/include/ipc/sysipc.h (modified) (1 diff)

kernel/generic/include/ipc/sysipc.h

@@ -40 +40 @@
 #include <typedefs.h>
 
-extern sysarg_t sys_ipc_call_sync_fast(sysarg_t phoneid, sysarg_t method, 
-    sysarg_t arg1, sysarg_t arg2, sysarg_t arg3, ipc_data_t *data);
-extern sysarg_t sys_ipc_call_sync_slow(sysarg_t phoneid, ipc_data_t *question,
-    ipc_data_t *reply);
-extern sysarg_t sys_ipc_call_async_fast(sysarg_t phoneid, sysarg_t method, 
-    sysarg_t arg1, sysarg_t arg2, sysarg_t arg3, sysarg_t arg4);
-extern sysarg_t sys_ipc_call_async_slow(sysarg_t phoneid, ipc_data_t *data);
-extern sysarg_t sys_ipc_answer_fast(sysarg_t callid, sysarg_t retval, 
-    sysarg_t arg1, sysarg_t arg2, sysarg_t arg3, sysarg_t arg4);
-extern sysarg_t sys_ipc_answer_slow(sysarg_t callid, ipc_data_t *data);
-extern sysarg_t sys_ipc_wait_for_call(ipc_data_t *calldata, uint32_t usec,
-    unsigned int nonblocking);
+extern sysarg_t sys_ipc_call_sync_fast(sysarg_t, sysarg_t, sysarg_t,
+    sysarg_t, sysarg_t, ipc_data_t *);
+extern sysarg_t sys_ipc_call_sync_slow(sysarg_t, ipc_data_t *, ipc_data_t *);
+extern sysarg_t sys_ipc_call_async_fast(sysarg_t, sysarg_t, sysarg_t,
+    sysarg_t, sysarg_t, sysarg_t);
+extern sysarg_t sys_ipc_call_async_slow(sysarg_t, ipc_data_t *);
+extern sysarg_t sys_ipc_answer_fast(sysarg_t, sysarg_t, sysarg_t, sysarg_t,
+    sysarg_t, sysarg_t);
+extern sysarg_t sys_ipc_answer_slow(sysarg_t, ipc_data_t *);
+extern sysarg_t sys_ipc_wait_for_call(ipc_data_t *, uint32_t, unsigned int);
 extern sysarg_t sys_ipc_poke(void);
-extern sysarg_t sys_ipc_forward_fast(sysarg_t callid, sysarg_t phoneid,
-    sysarg_t method, sysarg_t arg1, sysarg_t arg2, unsigned int mode);
-extern sysarg_t sys_ipc_forward_slow(sysarg_t callid, sysarg_t phoneid,
-    ipc_data_t *data, unsigned int mode);
-extern sysarg_t sys_ipc_hangup(sysarg_t phoneid);
-extern sysarg_t sys_ipc_register_irq(inr_t inr, devno_t devno, sysarg_t method,
-    irq_code_t *ucode);
-extern sysarg_t sys_ipc_unregister_irq(inr_t inr, devno_t devno);
-extern sysarg_t sys_ipc_connect_kbox(sysarg64_t *task_id);
+extern sysarg_t sys_ipc_forward_fast(sysarg_t, sysarg_t, sysarg_t, sysarg_t,
+    sysarg_t, unsigned int);
+extern sysarg_t sys_ipc_forward_slow(sysarg_t, sysarg_t, ipc_data_t *,
+    unsigned int);
+extern sysarg_t sys_ipc_hangup(sysarg_t);
+extern sysarg_t sys_ipc_register_irq(inr_t, devno_t, sysarg_t, irq_code_t *);
+extern sysarg_t sys_ipc_unregister_irq(inr_t, devno_t);
+
+#ifdef __32_BITS__
+
+extern sysarg_t sys_ipc_connect_kbox(sysarg64_t *);
+
+#endif  /* __32_BITS__ */
+
+#ifdef __64_BITS__
+
+extern sysarg_t sys_ipc_connect_kbox(sysarg_t);
+
+#endif  /* __64_BITS__ */
 
 #endif