+
+/** \deprecated Use #xbt_fifo_get_prev_item instead.
+ */
+xbt_fifo_item_t xbt_fifo_getPrevItem(xbt_fifo_item_t i)
+{
+ WARN0("This function is deprecated. Use xbt_fifo_get_prev_item.");
+ return xbt_fifo_get_prev_item(i);
+}
+
+/**
+ * Destroy the fifo item mallocator.
+ * This is an internal XBT function called by xbt_exit().
+ */
+void xbt_fifo_exit(void) {
+ if (item_mallocator != NULL) {
+ xbt_mallocator_free(item_mallocator);
+ }
+}
+
+/* @} */