1 #pragma once 2 3 #include <l4/sys/ipc.h> 4 5 #include "flexpage.h" 6 7 8 9 void ipc_prepare_flexpage(Flexpage *flexpage, unsigned long offset, 10 l4_addr_t hot_spot, unsigned long flags, 11 l4_snd_fpage_t *region); 12 13 // vim: tabstop=4 expandtab shiftwidth=4