memory_preallocated.h | raw changeset files shortlog |
1.1 --- a/memory_preallocated.h Sat Mar 20 16:53:21 2021 +0100 1.2 +++ b/memory_preallocated.h Sat Mar 20 17:05:31 2021 +0100 1.3 @@ -19,6 +19,8 @@ 1.4 public: 1.5 explicit MemoryPreallocated(unsigned int limit, offset_t region_size=PAGE_SIZE); 1.6 1.7 + virtual ~MemoryPreallocated(); 1.8 + 1.9 virtual Region *region(); 1.10 1.11 virtual void release(Region *region);