uint64_t writef(fd_t fd, const char *_RESTRICT format,...)
Wrapper for writing a formatted string to a file.
uint64_t read(fd_t fd, void *buffer, uint64_t count)
System call for reading from files.
uint64_t write(fd_t fd, const void *buffer, uint64_t count)
System call for writing to files.
static uint64_t read_fd(fd_t fd, const char *name, bool hexOutput)