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 readfile(const char *path, void *buffer, uint64_t count, uint64_t offset)
Wrapper for reading a file directly using a path.
uint64_t read(fd_t fd, void *buffer, uint64_t count)
System call for reading from files.
#define ERR
Integer error value.
__UINT64_TYPE__ fd_t
A file descriptor.
EFI_PHYSICAL_ADDRESS buffer