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 */