#ifndef HEADER_DISK_H
#define HEADER_DISK_H 1
+#include <inttypes.h>
#include <stdint.h>
#define DISK_SECTOR_SIZE 512
typedef uint32_t disk_sector_no;
+#define PRDSNu PRId32 /* For use with printk(). */
void disk_init (void);
struct disk *disk_get (int idx);