:: commit 304819cea56a87eb3ff3b16f323a1af667ab01a2

diff --git a/drivers/disk.h b/drivers/disk.h
index eaf4017e..67cf9f35 100644
--- a/drivers/disk.h
+++ b/drivers/disk.h
@@ -1,6 +1,9 @@
 #ifndef __DISK_H__
 #define __DISK_H__
 
-int read_sector(int, int, int, void *);
+#include <stdint.h>
+
+int read_sector(int, void *, uint64_t, size_t);
+int read(int, void *, int, size_t);
 
 #endif