1238106Sdes#include <unistd.h> 2238106Sdes#include "syscall.h" 3285206Sdes#include "libc.h" 4238106Sdes 5285206Sdesssize_t read(int fd, void *buf, size_t count) 6238106Sdes{ 7285206Sdes return syscall_cp(SYS_read, fd, buf, count); 8285206Sdes} 9285206Sdes