1.1 --- a/mapping/ipc.cc Sun Apr 11 19:34:07 2021 +0200
1.2 +++ b/mapping/ipc.cc Mon Apr 12 00:12:51 2021 +0200
1.3 @@ -17,8 +17,8 @@
1.4
1.5 /* Make a representation of a flexpage for the IPC system. */
1.6
1.7 -long ipc_prepare_flexpage(Flexpage *flexpage, unsigned long offset,
1.8 - unsigned long max_offset, l4_addr_t hot_spot,
1.9 +long ipc_prepare_flexpage(Flexpage *flexpage, offset_t offset,
1.10 + offset_t max_offset, address_t hot_spot,
1.11 flags_t flags, l4_snd_fpage_t *region)
1.12 {
1.13 SendFlexpage send_flexpage = flexpage->to_send(offset, hot_spot, flags,