From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 1 Sep 2004 03:58:03 +0000 (+0000)
Subject: Fix PRDSNu.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=aa9a8ed3132ec405c8362b3fddf3868871fb7993

Fix PRDSNu.
---

diff --git a/src/devices/disk.h b/src/devices/disk.h
index 1d5fecc..9d52164 100644
--- a/src/devices/disk.h
+++ b/src/devices/disk.h
@@ -7,7 +7,7 @@
 #define DISK_SECTOR_SIZE 512
 
 typedef uint32_t disk_sector_no;
-#define PRDSNu PRId32   /* For use with printk(). */
+#define PRDSNu PRIu32   /* For use with printk(). */
 
 void disk_init (void);
 struct disk *disk_get (int chan_no, int dev_no);