gdb: read

 
 read
 ....
 
 Synopsis:
           int read(int fd, void *buf, unsigned int count);
 
 Request:
      'Fread,FD,BUFPTR,COUNT'
 
 Return value:
      On success, the number of bytes read is returned.  Zero indicates
      end of file.  If count is zero, read returns zero as well.  On
      error, -1 is returned.
 
 Errors:
 
      'EBADF'
           FD is not a valid file descriptor or is not open for reading.
 
      'EFAULT'
           BUFPTR is an invalid pointer value.
 
      'EINTR'
           The call was interrupted by the user.