uint64_t write(int fd, uint64_t length, void *buffer);
int seek(int fd, uint64_t offset, int whence);
int ioctl(int fd, int id, void *data);
uint64_t write(int fd, uint64_t length, void *buffer);
int seek(int fd, uint64_t offset, int whence);
int ioctl(int fd, int id, void *data);