projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Improve description.
[pintos-anon]
/
src
/
devices
/
disk.h
diff --git
a/src/devices/disk.h
b/src/devices/disk.h
index d1496827282e06262b0574ccb129f79e17a5f849..539c4b0bafdd8c589125e30d05266c4ded065210 100644
(file)
--- a/
src/devices/disk.h
+++ b/
src/devices/disk.h
@@
-1,5
+1,5
@@
-#ifndef
HEADER
_DISK_H
-#define
HEADER_DISK_H 1
+#ifndef
DEVICES
_DISK_H
+#define
DEVICES_DISK_H
#include <inttypes.h>
#include <stdint.h>
#include <inttypes.h>
#include <stdint.h>
@@
-11,8
+11,8
@@
Good enough for disks up to 2 TB. */
typedef uint32_t disk_sector_t;
Good enough for disks up to 2 TB. */
typedef uint32_t disk_sector_t;
-/* Format specifier for print
k
(), e.g.:
- print
k
("sector=%"PRDSNu"\n", sector); */
+/* Format specifier for print
f
(), e.g.:
+ print
f
("sector=%"PRDSNu"\n", sector); */
#define PRDSNu PRIu32
void disk_init (void);
#define PRDSNu PRIu32
void disk_init (void);
@@
-21,4
+21,4
@@
disk_sector_t disk_size (struct disk *);
void disk_read (struct disk *, disk_sector_t, void *);
void disk_write (struct disk *, disk_sector_t, const void *);
void disk_read (struct disk *, disk_sector_t, void *);
void disk_write (struct disk *, disk_sector_t, const void *);
-#endif /* disk.h */
+#endif /* d
evices/d
isk.h */