write.c 188 B

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