read.c 168 B

12345678
  1. #include <unistd.h>
  2. #include <syscall.h>
  3. DEFN_SYSCALL3(read, 3, int, char *, int);
  4. int read(int file, void *ptr, size_t len) {
  5. return syscall_read(file,ptr,len);
  6. }