1.1 --- a/files/opener_context_resource.h Sun Apr 11 19:34:07 2021 +0200
1.2 +++ b/files/opener_context_resource.h Mon Apr 12 00:33:14 2021 +0200
1.3 @@ -36,11 +36,11 @@
1.4
1.5 /* Opener context interface methods. */
1.6
1.7 - long open(flags_t flags, size_t *size, l4_cap_idx_t *file);
1.8 + long open(flags_t flags, offset_t *size, l4_cap_idx_t *file);
1.9
1.10 /* Pager/dataspace methods. */
1.11
1.12 - long map(unsigned long offset, l4_addr_t hot_spot, flags_t flags,
1.13 + long map(unsigned long offset, address_t hot_spot, flags_t flags,
1.14 l4_snd_fpage_t *region)
1.15 { return SimplePager::map(offset, hot_spot, flags, region); }
1.16