X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fbitmap.h;h=2dbf38a4bdfb9faa179cbb6daa7b82ad209db915;hb=dc83e159fc3dd0301a967aef2b84f1460aa3ef08;hp=d3bda409d3832eddd6733746bf84eccae41960ec;hpb=af8e2a61dcde1dfb4d25178e2e193861a2173032;p=pintos-anon

diff --git a/src/lib/bitmap.h b/src/lib/bitmap.h
index d3bda40..2dbf38a 100644
--- a/src/lib/bitmap.h
+++ b/src/lib/bitmap.h
@@ -45,4 +45,6 @@ void bitmap_read (struct bitmap *, struct file *);
 void bitmap_write (const struct bitmap *, struct file *);
 #endif
 
+void bitmap_dump (const struct bitmap *);
+
 #endif /* bitmap.h */