1.1 --- a/mapping/ipc.cc Sun Apr 04 01:19:22 2021 +0200
1.2 +++ b/mapping/ipc.cc Tue Apr 06 00:14:00 2021 +0200
1.3 @@ -19,9 +19,10 @@
1.4
1.5 long ipc_prepare_flexpage(Flexpage *flexpage, unsigned long offset,
1.6 unsigned long max_offset, l4_addr_t hot_spot,
1.7 - l4_snd_fpage_t *region)
1.8 + flags_t flags, l4_snd_fpage_t *region)
1.9 {
1.10 - SendFlexpage send_flexpage = flexpage->to_send(offset, hot_spot, max_offset);
1.11 + SendFlexpage send_flexpage = flexpage->to_send(offset, hot_spot, flags,
1.12 + max_offset);
1.13
1.14 /* NOTE: Consider l4_fpage_invalid() as the fpage here. */
1.15