- XBT_PUBLIC(void) xbt_queue_push_timed (xbt_queue_t queue, const void *src, double delay);
- XBT_PUBLIC(void) xbt_queue_unshift_timed (xbt_queue_t queue, const void *src, double delay);
- XBT_PUBLIC(void) xbt_queue_shift_timed (xbt_queue_t queue, void *const dst, double delay);
- XBT_PUBLIC(void) xbt_queue_pop_timed (xbt_queue_t queue, void *const dst, double delay);
+XBT_PUBLIC(void) xbt_queue_push_timed(xbt_queue_t queue, const void *src,
+ double delay);
+XBT_PUBLIC(void) xbt_queue_unshift_timed(xbt_queue_t queue,
+ const void *src, double delay);
+XBT_PUBLIC(void) xbt_queue_shift_timed(xbt_queue_t queue, void *const dst,
+ double delay);
+XBT_PUBLIC(void) xbt_queue_pop_timed(xbt_queue_t queue, void *const dst,
+ double delay);