9int main(
int argc,
char* argv[])
19 const char* filename =
NULL;
20 for (
int i = 1;
i < argc;
i++)
fd_t open(const char *path)
System call for opening files.
poll_events_t poll1(fd_t fd, poll_events_t events, clock_t timeout)
Wrapper for polling one file.
size_t write(fd_t fd, const void *buffer, size_t count)
System call for writing to files.
size_t read(fd_t fd, void *buffer, size_t count)
System call for reading from files.
#define STDOUT_FILENO
Standard output file descriptor.
@ POLLIN
File descriptor is ready to read.
#define NULL
Pointer error value.
#define ERR
Integer error value.
__UINT64_TYPE__ fd_t
A file descriptor.
EFI_PHYSICAL_ADDRESS buffer
_PUBLIC int fprintf(FILE *_RESTRICT stream, const char *_RESTRICT format,...)
_PUBLIC int strcmp(const char *s1, const char *s2)