X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Flist.h;h=ddb0e6592babd20e9108e6d22b7ace2dc34af7f4;hb=f9ef1c31cfcd2d9ded66588a11c59e29e5aaa2ca;hp=013f0488240ad7c9b6fa47ef795ae2351ce35a1f;hpb=772ec52b896380f23b587bea4a5bf18edd22449d;p=openvswitch

diff --git a/lib/list.h b/lib/list.h
index 013f0488..ddb0e659 100644
--- a/lib/list.h
+++ b/lib/list.h
@@ -31,6 +31,7 @@ struct list {
 #define LIST_INITIALIZER(LIST) { LIST, LIST }
 
 void list_init(struct list *);
+void list_poison(struct list *);
 
 /* List insertion. */
 void list_insert(struct list *, struct list *);