1.1 --- a/file_pager.h Sun Mar 14 21:41:49 2021 +0100
1.2 +++ b/file_pager.h Sun Mar 14 22:59:23 2021 +0100
1.3 @@ -10,7 +10,7 @@
1.4 public:
1.5 fileid_t fileid;
1.6
1.7 - explicit FilePager(fileid_t fileid, PageMapper *mapper, int flags);
1.8 + explicit FilePager(fileid_t fileid, PageMapper *mapper, flags_t flags);
1.9
1.10 /* Server details. */
1.11
1.12 @@ -23,7 +23,7 @@
1.13
1.14 /* Pager and mapped file methods. */
1.15
1.16 - virtual long map(unsigned long offset, l4_addr_t hot_spot, unsigned long flags, l4_snd_fpage_t *region);
1.17 + virtual long map(unsigned long offset, l4_addr_t hot_spot, flags_t flags, l4_snd_fpage_t *region);
1.18
1.19 virtual long mmap(offset_t position, offset_t length, offset_t *start_pos, offset_t *end_pos, offset_t *data_end);
1.20 };