Fixes event_q "get" interfaces to work with UCQs
[akaros.git] / user / parlib / include / ucq.h
index 3d633a9..ce68d78 100644 (file)
@@ -10,7 +10,9 @@
 
 #include <ros/ucq.h>
 
-void ucq_init(struct ucq *ucq, uintptr_t pg1, uintptr_t pg2);
+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);
 
 #endif /* _UCQ_H */