Moves resource requests to procdata (XCC)
[akaros.git] / kern / include / kthread.h
index eb4df9e..60108c0 100644 (file)
@@ -91,7 +91,7 @@ void restart_kthread(struct kthread *kthread);
 void kthread_runnable(struct kthread *kthread);
 /* Kmsg handler to launch/run a kthread.  This must be a routine message, since
  * it does not return. */
-void __launch_kthread(struct trapframe *tf, uint32_t srcid, void *a0, void *a1,
-                         void *a2);
+void __launch_kthread(struct trapframe *tf, uint32_t srcid, long a0, long a1,
+                         long a2);
 
 #endif /* ROS_KERN_KTHREAD_H */