summaryrefslogtreecommitdiff
path: root/deva/task-user.c
diff options
context:
space:
mode:
Diffstat (limited to 'deva/task-user.c')
-rw-r--r--deva/task-user.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/deva/task-user.c b/deva/task-user.c
index 3541893..822dbd6 100644
--- a/deva/task-user.c
+++ b/deva/task-user.c
@@ -35,7 +35,7 @@
/* Allocate a new thread for the task TASK, and return its thread ID
in THREAD_ID. */
error_t
-task_thread_alloc (l4_thread_id_t task_server, hurd_cap_id_t task,
+task_thread_alloc (l4_thread_id_t task_server, hurd_cap_handle_t task,
void *utcb, l4_thread_id_t *thread_id)
{
l4_msg_t msg;