17 if (totalRead == size)
21 if (newBuffer ==
NULL)
39 totalRead += bytesRead;
uint64_t read(fd_t fd, void *buffer, uint64_t count)
System call for reading from files.
char * sread(fd_t fd)
Wrapper for reading a file directly into a null-terminated string.
#define NULL
Pointer error value.
#define ERR
Integer error value.
__UINT64_TYPE__ fd_t
A file descriptor.
EFI_PHYSICAL_ADDRESS buffer
_PUBLIC void * realloc(void *ptr, size_t size)
_PUBLIC void * malloc(size_t size)
_PUBLIC void free(void *ptr)