Commit | Line | Data |
---|---|---|
7f918cf1 CE |
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 | } |