Moves resource requests to procdata (XCC)
[akaros.git] / kern / include / ucq.h
1 /* Copyright (c) 2011 The Regents of the University of California
2  * Barret Rhoden <brho@cs.berkeley.edu>
3  * See LICENSE for details.
4  *
5  * Unbounded concurrent queues, kernel side.  Check k/i/r/ucq.h or the
6  * Documentation for more info. */
7
8 #ifndef ROS_KERN_UCQ_H
9 #define ROS_KERN_UCQ_H
10
11 #include <ros/ucq.h>
12 #include <process.h>
13
14 void send_ucq_msg(struct ucq *ucq, struct proc *p, struct event_msg *msg);
15
16 #endif /* ROS_KERN_UCQ_H */