1.1 --- a/client/file.h Sun Apr 11 19:34:07 2021 +0200
1.2 +++ b/client/file.h Mon Apr 12 00:12:51 2021 +0200
1.3 @@ -42,8 +42,8 @@
1.4 /* File region parameters. */
1.5
1.6 offset_t start_pos, end_pos; /* start and end positions of region */
1.7 - offset_t data_end; /* amount/extent of data in the region */
1.8 - offset_t data_current; /* client access offset */
1.9 + length_t data_end; /* amount/extent of data in the region */
1.10 + length_t data_current; /* client access offset */
1.11
1.12 /* Total size of file. */
1.13
1.14 @@ -71,26 +71,29 @@
1.15 /* File and region operations. */
1.16
1.17 long file_flush(file_t *file);
1.18 -long file_mmap(file_t *file, offset_t position, offset_t length);
1.19 +long file_mmap(file_t *file, offset_t position, length_t length);
1.20 long file_resize(file_t *file, offset_t size);
1.21
1.22 /* File and region properties. */
1.23
1.24 -offset_t file_populated_span(file_t *file);
1.25 -offset_t file_span(file_t *file);
1.26 +length_t file_populated_span(file_t *file);
1.27 +length_t file_span(file_t *file);
1.28
1.29 /* Convenience functions. */
1.30
1.31 -char *file_string_get(file_t *file, offset_t offset);
1.32 -int file_string_set(file_t *file, const char *data, offset_t offset, offset_t *written);
1.33 +char *file_string_get(file_t *file, length_t offset);
1.34 +int file_string_set(file_t *file, const char *data, length_t offset, length_t *written);
1.35
1.36 /* Client data functions. */
1.37
1.38 -offset_t file_data_available(file_t *file);
1.39 +length_t file_data_available(file_t *file);
1.40 char *file_data_current(file_t *file);
1.41 +length_t file_data_space(file_t *file);
1.42 +
1.43 +/* Client data position functions. */
1.44 +
1.45 offset_t file_data_current_position(file_t *file);
1.46 offset_t file_data_end_position(file_t *file);
1.47 -offset_t file_data_space(file_t *file);
1.48
1.49 /* Client data transfer functions. */
1.50
1.51 @@ -101,13 +104,13 @@
1.52
1.53 /* Pipe operations. */
1.54
1.55 -long pipe_open(offset_t size, file_t *reader, file_t *writer, l4_cap_idx_t server);
1.56 +long pipe_open(length_t size, file_t *reader, file_t *writer, l4_cap_idx_t server);
1.57
1.58 /* Pipe region operations. */
1.59
1.60 long pipe_current(file_t *pipe);
1.61 long pipe_next(file_t *pipe);
1.62 -long pipe_written(file_t *pipe, offset_t size);
1.63 +long pipe_written(file_t *pipe, length_t size);
1.64
1.65 EXTERN_C_END
1.66