+#ifndef _GPXE_IOBUF_H
+#define _GPXE_IOBUF_H
+
+/** @file
+ *
+ * I/O buffers
+ *
+ */
+
+#include <stdint.h>
+#include <assert.h>
+#include <gpxe/list.h>
+
+/**
+ * A persistent I/O buffer
+ *
+ * This data structure encapsulates a long-lived I/O buffer. The
+ * buffer may be passed between multiple owners, queued for possible
+ * retransmission, etc.
+ */
+struct io_buffer {
+ /** List of which this buffer is a member
+ *
+ * The list must belong to the current owner of the buffer.
+ * Different owners may maintain different lists (e.g. a
+ * retransmission list for TCP).
+ */
+ struct list_head list;
+
+ /** Start of the buffer */
+ void *head;
+ /** Start of data */
+ void *data;
+ /** End of data */
+ void *tail;
+ /** End of the buffer */
+ void *end;
+};
+
+/**
+ * Reserve space at start of I/O buffer
+ *
+ * @v iob I/O buffer
+ * @v len Length to reserve
+ * @ret data Pointer to new start of buffer
+ */
+static inline void * iob_reserve ( struct io_buffer *iob, size_t len ) {
+ iob->data += len;
+ iob->tail += len;
+ assert ( iob->tail <= iob->end );
+ return iob->data;
+}
+
+/**
+ * Add data to start of I/O buffer
+ *
+ * @v iob I/O buffer
+ * @v len Length to add
+ * @ret data Pointer to new start of buffer
+ */
+static inline void * iob_push ( struct io_buffer *iob, size_t len ) {
+ iob->data -= len;
+ assert ( iob->data >= iob->head );
+ return iob->data;
+}
+
+/**
+ * Remove data from start of I/O buffer
+ *
+ * @v iob I/O buffer
+ * @v len Length to remove
+ * @ret data Pointer to new start of buffer
+ */
+static inline void * iob_pull ( struct io_buffer *iob, size_t len ) {
+ iob->data += len;
+ assert ( iob->data <= iob->tail );
+ return iob->data;
+}
+
+/**
+ * Add data to end of I/O buffer
+ *
+ * @v iob I/O buffer
+ * @v len Length to add
+ * @ret data Pointer to newly added space
+ */
+static inline void * iob_put ( struct io_buffer *iob, size_t len ) {
+ void *old_tail = iob->tail;
+ iob->tail += len;
+ assert ( iob->tail <= iob->end );
+ return old_tail;
+}
+
+/**
+ * Remove data from end of I/O buffer
+ *
+ * @v iob I/O buffer
+ * @v len Length to remove
+ */
+static inline void iob_unput ( struct io_buffer *iob, size_t len ) {
+ iob->tail -= len;
+ assert ( iob->tail >= iob->data );
+}
+
+/**
+ * Empty an I/O buffer
+ *
+ * @v iob I/O buffer
+ */
+static inline void iob_empty ( struct io_buffer *iob ) {
+ iob->tail = iob->data;
+}
+
+/**
+ * Calculate length of data in an I/O buffer
+ *
+ * @v iob I/O buffer
+ * @ret len Length of data in buffer
+ */
+static inline size_t iob_len ( struct io_buffer *iob ) {
+ return ( iob->tail - iob->data );
+}
+
+/**
+ * Calculate available space at start of an I/O buffer
+ *
+ * @v iob I/O buffer
+ * @ret len Length of data available at start of buffer
+ */
+static inline size_t iob_headroom ( struct io_buffer *iob ) {
+ return ( iob->data - iob->head );
+}
+
+/**
+ * Calculate available space at end of an I/O buffer
+ *
+ * @v iob I/O buffer
+ * @ret len Length of data available at end of buffer
+ */
+static inline size_t iob_tailroom ( struct io_buffer *iob ) {
+ return ( iob->end - iob->tail );
+}
+
+extern struct io_buffer * alloc_iob ( size_t len );
+extern void free_iob ( struct io_buffer *iob );
+extern void iob_pad ( struct io_buffer *iob, size_t min_len );
+
+#endif /* _GPXE_IOBUF_H */