ROUNDDOWN can handle uint64_t on 32 bit (XCC)
[akaros.git] / user / parlib / include / ucq.h
index ce68d78..066c49a 100644 (file)
@@ -14,5 +14,6 @@ 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 */