| /* Copyright (c) 2011 The Regents of the University of California |
| * Barret Rhoden <brho@cs.berkeley.edu> |
| * See LICENSE for details. |
| * |
| * Unbounded concurrent queues, user side. Check k/i/r/ucq.h or the |
| * Documentation for more info. */ |
| |
| #ifndef _UCQ_H |
| #define _UCQ_H |
| |
| #include <ros/ucq.h> |
| |
| void ucq_init_raw(struct ucq *ucq, uintptr_t pg1, uintptr_t pg2); |
| void ucq_init(struct ucq *ucq); |
| void ucq_free_pgs(struct ucq *ucq); |
| int get_ucq_msg(struct ucq *ucq, struct event_msg *msg); |
| bool ucq_is_empty(struct ucq *ucq); |
| |
| #endif /* _UCQ_H */ |
