Index: kernel/generic/include/proc/task.h
===================================================================
--- kernel/generic/include/proc/task.h	(revision 96b02eb9b2f96f3843b8275c254c43a9cb6c8c88)
+++ kernel/generic/include/proc/task.h	(revision 0bff73aed85c65c908499a83db3b7a8e89c7b3fc)
@@ -145,5 +145,12 @@
 #endif
 
-extern sysarg_t sys_task_get_id(task_id_t *);
+#ifdef __32_BITS__
+extern sysarg_t sys_task_get_id(sysarg64_t *);
+#endif
+
+#ifdef __64_BITS__
+extern sysarg_t sys_task_get_id(void);
+#endif
+
 extern sysarg_t sys_task_set_name(const char *, size_t);