1 #include <l4/re/c/dataspace.h> 2 3 #include "ipc.h" 4 #include "send_flexpage.h" 5 6 7 8 /* Make a representation of the flexpage for the IPC system. */ 9 10 void ipc_prepare_flexpage(Flexpage *flexpage, unsigned long offset, 11 l4_addr_t hot_spot, unsigned long flags, 12 l4_snd_fpage_t *region) 13 { 14 SendFlexpage send_flexpage = flexpage->to_send(offset, hot_spot); 15 16 region->fpage = l4_fpage(send_flexpage.base_addr, send_flexpage.order, 17 (flags & L4RE_DS_MAP_FLAG_RW) ? L4_FPAGE_RW 18 : L4_FPAGE_RO); 19 region->snd_base = hot_spot; 20 } 21 22 // vim: tabstop=4 expandtab shiftwidth=4