#define EINVAL
Invalid argument.
#define errno
Error number variable.
uint64_t vwritef(fd_t fd, const char *_RESTRICT format, va_list args)
Wrapper for writing a formatted string to a file with a va_list.
uint64_t write(fd_t fd, const void *buffer, uint64_t count)
System call for writing to files.
#define ERR
Integer error value.
__UINT64_TYPE__ fd_t
A file descriptor.
EFI_PHYSICAL_ADDRESS buffer
__builtin_va_list va_list
_PUBLIC int vsnprintf(char *_RESTRICT s, size_t n, const char *_RESTRICT format, va_list arg)