libmem/include/mem/flexpage.h | raw changeset files shortlog | mmap-region-flags |
1.1 --- a/libmem/include/mem/flexpage.h Fri May 27 00:38:27 2022 +0200 1.2 +++ b/libmem/include/mem/flexpage.h Sat May 28 00:59:04 2022 +0200 1.3 @@ -21,6 +21,8 @@ 1.4 1.5 #pragma once 1.6 1.7 +#include <l4/re/c/dataspace.h> 1.8 + 1.9 #include <list> 1.10 1.11 #include <mem/memory_utils.h> 1.12 @@ -77,6 +79,8 @@ 1.13 { 1.14 } 1.15 1.16 + virtual ~Flexpage(); 1.17 + 1.18 void set_region(Region *region); 1.19 1.20 void reset(offset_t offset);