X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Ffilesys%2Foff_t.h;h=9caff4dbae88823f109b1d3ee99c7535f79a55ce;hp=55ff174cd0ae5cb52583b847785007b43412ffa2;hb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;hpb=5780c9f434cca090f88463b7f0199d49b4ded288

diff --git a/src/filesys/off_t.h b/src/filesys/off_t.h
index 55ff174..9caff4d 100644
--- a/src/filesys/off_t.h
+++ b/src/filesys/off_t.h
@@ -8,4 +8,8 @@
    definition but not any others. */
 typedef int32_t off_t;
 
+/* Format specifier for printf(), e.g.:
+   printf ("offset=%"PROTd"\n", offset); */
+#define PROTd PRId32
+
 #endif /* filesys/off_t.h */