runtime/basis/Posix/IO/read.c

   1 #include "platform.h"
   2
   3 static inline C_Errno_t(C_SSize_t)
   4 Posix_IO_read (C_Fd_t fd, Pointer b,
   5                C_Int_t i, C_Size_t s) {
   6   return read (fd, (void *) ((char *) b + i), s);
   7 }
   8
   9 C_Errno_t(C_SSize_t)
  10 Posix_IO_readChar8 (C_Fd_t fd, Array(Char8) b,
  11                    C_Int_t i, C_Size_t s) {
  12   return Posix_IO_read (fd, (Pointer)b, i, s);
  13 }
  14 C_Errno_t(C_SSize_t)
  15 Posix_IO_readWord8 (C_Fd_t fd, Array(Word8) b,
  16                     C_Int_t i, C_Size_t s) {
  17   return Posix_IO_read (fd, (Pointer)b, i, s);
  18 }