-extern void close(int fd);
-extern uint read(int fd, uint length, void *buffer);
-extern uint write(int fd, uint length, void *buffer);
-extern int seek(int fd, uint64_t offset, int whence);
+extern int close(int fd);
+extern uint read(int fd, void *buffer, uint length);
+extern uint write(int fd, const void *buffer, uint length);
+extern int seek(int fd, int64_t offset, int whence);