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

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 */