2021-02-27 | Paul Boddie | raw annotate files changeset graph | Employ libipc synchronisation support for region manager operations. This seems to prevent the region manager from granting the same base address to different dataspaces occasionally (which is apparently not supposed to happen even in a multithreaded program). |
1 #pragma once 2 3 #include <l4/sys/ipc.h> 4 5 #include "flexpage.h" 6 7 8 9 long ipc_prepare_flexpage(Flexpage *flexpage, unsigned long offset, 10 unsigned long max_offset, l4_addr_t hot_spot, 11 l4_snd_fpage_t *region); 12 13 void ipc_unmap_flexpage(Flexpage *flexpage); 14 15 // vim: tabstop=4 expandtab shiftwidth=4