1 files changed, 11 insertions, 0 deletions
diff --git a/pfinet/sched.c b/pfinet/sched.c
index ecbffaf2..4f3b33d8 100644
--- a/pfinet/sched.c
+++ b/pfinet/sched.c
@@ -87,3 +87,14 @@ become_task (struct sock_user *user)
   current->state = TASK_RUNNING;
   current->isroot = user->isroot;
 }
+
+void
+become_task_protid (struct trivfs_protid *protid)
+{
+  current->pgrp = current->pid = 0;
+  current->flags = 0;
+  current->timeout = 0;
+  current->signal = current->blocked = 0;
+  current->state = TASK_RUNNING;
+  current->isroot = protid->isroot;
+}