1.1 --- a/simple_pager.cc Thu Jan 21 23:36:53 2021 +0100
1.2 +++ b/simple_pager.cc Thu Jan 21 23:38:37 2021 +0100
1.3 @@ -36,9 +36,12 @@
1.4
1.5 /* Send the flexpage explicitly. */
1.6
1.7 - ipc_prepare_flexpage(&flexpage, offset, hot_spot, flags, region);
1.8 + long err = ipc_prepare_flexpage(&flexpage, offset, PAGE_SIZE, hot_spot, flags, region);
1.9
1.10 - long err = complete_Dataspace_map(*region);
1.11 + if (err)
1.12 + return err;
1.13 +
1.14 + err = complete_Dataspace_map(*region);
1.15
1.16 if (err)
1.17 return err;