Changeset 6b10dab in mainline for contrib/arch/kernel/kernel.adl

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:

• contrib/arch/kernel/kernel.adl (modified) (2 diffs)

contrib/arch/kernel/kernel.adl

@@ -166 +166 @@
 interface sys_cap {
                 /* Grant capabilities to a task */
-                sysarg_t sys_cap_grant(sysarg64_t *uspace_taskid_arg, cap_t caps);
+#ifdef __32_BITS__
+                sysarg_t sys_cap_grant(sysarg64_t *uspace_taskid, cap_t caps);
+#endif
+                
+#ifdef __64_BITS__
+                sysarg_t sys_cap_grant(sysarg_t taskid, cap_t caps);
+#endif
                 
                 /* Revoke capabilities from a task */
-                sysarg_t sys_cap_revoke(sysarg64_t *uspace_taskid_arg, cap_t caps);
+#ifdef __32_BITS__
+                sysarg_t sys_cap_revoke(sysarg64_t *uspace_taskid, cap_t caps);
+#endif
+                
+#ifdef __64_BITS__
+                sysarg_t sys_cap_revoke(sysarg_t taskid, cap_t caps);
+#endif
         protocol:
                 (
@@ -221 +233 @@
 interface sys_debug {
                 /* Connect to the kernel debugging answerbox of a given task */
-                sysarg_t sys_ipc_connect_kbox(sysarg64_t *uspace_taskid_arg);
+#ifdef __32_BITS__
+                sysarg_t sys_ipc_connect_kbox(sysarg64_t *uspace_taskid);
+#endif
+                
+#ifdef __64_BITS__
+                sysarg_t sys_ipc_connect_kbox(sysarg_t taskid);
+#endif
         protocol:
                 ?sys_ipc_connect_kbox*