1.1 --- a/file_pager.cc Sun Mar 14 21:41:49 2021 +0100
1.2 +++ b/file_pager.cc Sun Mar 14 22:59:23 2021 +0100
1.3 @@ -4,7 +4,7 @@
1.4 /* Initialise a pager for a file with a unique file identifier and shared page
1.5 mapper for moderating access to loaded pages. */
1.6
1.7 -FilePager::FilePager(fileid_t fileid, PageMapper *mapper, int flags)
1.8 +FilePager::FilePager(fileid_t fileid, PageMapper *mapper, flags_t flags)
1.9 : Pager(mapper, flags), fileid(fileid)
1.10 {
1.11 }
1.12 @@ -35,7 +35,7 @@
1.13 return L4_EOK;
1.14 }
1.15
1.16 -long FilePager::map(unsigned long offset, l4_addr_t hot_spot, unsigned long flags, l4_snd_fpage_t *region)
1.17 +long FilePager::map(unsigned long offset, l4_addr_t hot_spot, flags_t flags, l4_snd_fpage_t *region)
1.18 {
1.19 return Pager::map(offset, hot_spot, flags, region);
1.20 }