Implement a proper block layer with partition support.
[pintos-anon] / src / lib / stdio.h
index 8288ff04ac8b18c677eb0ee58a0267691654e04c..2739c0a2959de450fc348554f1730c2a0decc22c 100644 (file)
@@ -25,6 +25,7 @@ int puts (const char *);
 
 /* Nonstandard functions. */
 void hex_dump (uintptr_t ofs, const void *, size_t size, bool ascii);
+void print_human_readable_size (uint64_t sz);
 
 /* Internal functions. */
 void __vprintf (const char *format, va_list args,