1.1 --- a/files/file_paging.cc Sat Apr 03 00:02:41 2021 +0200
1.2 +++ b/files/file_paging.cc Sun Apr 04 01:19:22 2021 +0200
1.3 @@ -1,6 +1,8 @@
1.4 #include "file_pager.h"
1.5 #include "file_paging.h"
1.6
1.7 +#include <systypes/fcntl.h>
1.8 +
1.9
1.10
1.11 FilePaging::FilePaging(Pages *pages)
1.12 @@ -8,6 +10,8 @@
1.13 {
1.14 }
1.15
1.16 +
1.17 +
1.18 /* Return any registered page mapper for the given 'fileid' or NULL if no such
1.19 mapper is registered. */
1.20
1.21 @@ -34,6 +38,17 @@
1.22 _mappers[fileid] = mapper;
1.23 }
1.24
1.25 +
1.26 +
1.27 +/* Convert opening flags to paging flags. */
1.28 +
1.29 +flags_t FilePaging::get_flags(flags_t flags)
1.30 +{
1.31 + return flags & (O_WRONLY | O_RDWR) ? L4_FPAGE_RW : L4_FPAGE_RO;
1.32 +}
1.33 +
1.34 +
1.35 +
1.36 /* Obtain a page mapper for the 'fileid' or register a new one in the
1.37 paging object. */
1.38