2021-02-23 | Paul Boddie | raw annotate files changeset graph | Reordered capability freeing and dataspace detachment to avoid apparent issues with regions appearing at previously used addresses. Another required measure seems to involve the use of l4re_rm_detach_unmap in libipc when detaching dataspaces. |
1 #pragma once 2 3 #include "types.h" 4 5 /* A "send" flexpage abstraction. */ 6 7 class SendFlexpage 8 { 9 public: 10 offset_t base_addr; 11 unsigned int order; 12 unsigned long flags; 13 14 explicit SendFlexpage(offset_t base_addr, unsigned int order, 15 unsigned long flags) 16 : base_addr(base_addr), order(order), flags(flags) 17 { 18 } 19 }; 20 21 // vim: tabstop=4 expandtab shiftwidth=4