2017-12-27 04:27:52 +08:00
|
|
|
#include <machine/syscall.h>
|
|
|
|
#include <sys/types.h>
|
|
|
|
#include "internal_syscall.h"
|
|
|
|
|
|
|
|
/* Read from a file. */
|
|
|
|
ssize_t _read(int file, void *ptr, size_t len)
|
|
|
|
{
|
2020-02-11 04:19:58 +08:00
|
|
|
return syscall_errno (SYS_read, 3, file, ptr, len, 0, 0, 0);
|
2017-12-27 04:27:52 +08:00
|
|
|
}
|