1.1 --- a/ipc.cc Mon Feb 01 00:10:21 2021 +0100
1.2 +++ b/ipc.cc Mon Feb 01 01:04:30 2021 +0100
1.3 @@ -9,26 +9,24 @@
1.4
1.5 /* Make an L4 representation of the given flexpage. */
1.6
1.7 -static l4_fpage_t ipc_get_fpage(SendFlexpage *send_flexpage, unsigned long flags)
1.8 +static l4_fpage_t ipc_get_fpage(SendFlexpage *send_flexpage)
1.9 {
1.10 - // NOTE: To introduce flags properly in the flexpage abstractions.
1.11 -
1.12 return l4_fpage(send_flexpage->base_addr, send_flexpage->order,
1.13 - (flags & L4RE_DS_MAP_FLAG_RW) ? L4_FPAGE_RW : L4_FPAGE_RO);
1.14 + (send_flexpage->flags & L4RE_DS_MAP_FLAG_RW) ? L4_FPAGE_RW : L4_FPAGE_RO);
1.15 }
1.16
1.17 /* Make a representation of a flexpage for the IPC system. */
1.18
1.19 long ipc_prepare_flexpage(Flexpage *flexpage, unsigned long offset,
1.20 unsigned long max_offset, l4_addr_t hot_spot,
1.21 - unsigned long flags, l4_snd_fpage_t *region)
1.22 + l4_snd_fpage_t *region)
1.23 {
1.24 SendFlexpage send_flexpage = flexpage->to_send(offset, hot_spot, max_offset);
1.25
1.26 if (!send_flexpage.order)
1.27 return -L4_ERANGE;
1.28
1.29 - region->fpage = ipc_get_fpage(&send_flexpage, flags);
1.30 + region->fpage = ipc_get_fpage(&send_flexpage);
1.31 region->snd_base = hot_spot;
1.32
1.33 return L4_EOK;
1.34 @@ -40,9 +38,7 @@
1.35 {
1.36 SendFlexpage send_flexpage = flexpage->to_unmap();
1.37
1.38 - // NOTE: To introduce flags properly in the flexpage abstractions.
1.39 -
1.40 - l4_task_unmap(L4RE_THIS_TASK_CAP, ipc_get_fpage(&send_flexpage, L4_FPAGE_RW), L4_FP_OTHER_SPACES);
1.41 + l4_task_unmap(L4RE_THIS_TASK_CAP, ipc_get_fpage(&send_flexpage), L4_FP_OTHER_SPACES);
1.42 }
1.43
1.44 // vim: tabstop=4 expandtab shiftwidth=4