X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdevices%2Fdisk.h;h=9e785e549937079554d063658550bc7372cc8ee0;hb=f2f8875638593bd5365cfd6a5ba7c9578e52322f;hp=d1496827282e06262b0574ccb129f79e17a5f849;hpb=41cc2728b06b5e1eeb4cf5a4979692640049e047;p=pintos-anon

diff --git a/src/devices/disk.h b/src/devices/disk.h
index d149682..9e785e5 100644
--- a/src/devices/disk.h
+++ b/src/devices/disk.h
@@ -11,8 +11,8 @@
    Good enough for disks up to 2 TB. */
 typedef uint32_t disk_sector_t;
 
-/* Format specifier for printk(), e.g.:
-   printk ("sector=%"PRDSNu"\n", sector); */
+/* Format specifier for printf(), e.g.:
+   printf ("sector=%"PRDSNu"\n", sector); */
 #define PRDSNu PRIu32
 
 void disk_init (void);