1 #include <unistd.h> 2 #include "syscall.h" 3 read(int fd,void * buf,size_t count)4 ssize_t read(int fd, void *buf, size_t count) 5 { 6 return syscall_cp(SYS_read, fd, buf, count); 7 } 8