*** empty log message ***

[palacios.git] / palacios / include / geekos / ring_buffer.h

diff --git a/palacios/include/geekos/ring_buffer.h b/palacios/include/geekos/ring_buffer.h
index 2e14891..51a01f1 100644 (file)
--- a/palacios/include/geekos/ring_buffer.h
+++ b/palacios/include/geekos/ring_buffer.h
@@ -28,4 +28,7 @@ int rb_data_len(struct ring_buffer * ring);
 int rb_capacity(struct ring_buffer * ring);
 
 
+void print_ring_buffer(struct ring_buffer * ring);
+
+
 #endif // ! __RING_BUFFER_H__