fd_t open(const char *path)
System call for opening files.
uint64_t close(fd_t fd)
System call for closing files.
uint64_t seek(fd_t fd, int64_t offset, seek_origin_t origin)
System call for changing the file offset.
uint64_t write(fd_t fd, const void *buffer, uint64_t count)
System call for writing to files.
uint64_t writefile(const char *path, const void *buffer, uint64_t count, uint64_t offset)
Wrapper for writing a file directly using a path.
#define ERR
Integer error value.
__UINT64_TYPE__ fd_t
A file descriptor.
EFI_PHYSICAL_ADDRESS buffer