d2/d16/read_8c_source.html

#include <stdarg.h>

#include <stdio.h>

#include <stdlib.h>

#include <sys/io.h>


#include "common/print.h"

#include "user/common/syscalls.h"


uint64_t read(fd_t fd, void* buffer, uint64_t count)

{

    uint64_t result = _syscall_read(fd, buffer, count);

    if (result == ERR)

    {

        errno = _syscall_errno();

    }

    return result;

}


errno
#define errno
Error number variable.
Definition errno.h:27

read
uint64_t read(fd_t fd, void *buffer, uint64_t count)
System call for reading from files.
Definition read.c:9

ERR
#define ERR
Integer error value.
Definition ERR.h:17

fd_t
__UINT64_TYPE__ fd_t
A file descriptor.
Definition fd_t.h:12

io.h

buffer
EFI_PHYSICAL_ADDRESS buffer
Definition mem.c:15

print.h

count
static atomic_long count
Definition main.c:9

syscalls.h

_syscall_errno
static errno_t _syscall_errno(void)
Definition syscalls.h:118

_syscall_read
static uint64_t _syscall_read(fd_t fd, void *buffer, uint64_t count)
Definition syscalls.h:158

stdarg.h

uint64_t
__UINT64_TYPE__ uint64_t
Definition stdint.h:17

stdio.h

stdlib.h