1.1 --- a/simple_pager.cc Wed Jan 20 01:37:12 2021 +0100
1.2 +++ b/simple_pager.cc Thu Jan 21 00:05:50 2021 +0100
1.3 @@ -1,6 +1,7 @@
1.4 #include <l4/re/c/dataspace.h>
1.5
1.6 #include "dataspace_server.h"
1.7 +#include "ipc.h"
1.8 #include "simple_pager.h"
1.9
1.10
1.11 @@ -33,16 +34,9 @@
1.12
1.13 flexpage.reset(offset);
1.14
1.15 - /* Issue the flexpage via the IPC system. */
1.16 -
1.17 - SendFlexpage send_flexpage = flexpage.to_send(offset, hot_spot);
1.18 -
1.19 /* Send the flexpage explicitly. */
1.20
1.21 - region->fpage = l4_fpage(send_flexpage.base_addr, send_flexpage.order,
1.22 - (flags & L4RE_DS_MAP_FLAG_RW) ? L4_FPAGE_RW
1.23 - : L4_FPAGE_RO);
1.24 - region->snd_base = hot_spot;
1.25 + ipc_prepare_flexpage(&flexpage, offset, hot_spot, flags, region);
1.26
1.27 long err = complete_Dataspace_map(*region);
1.28