libfsserver/include/fsserver/pipe_paging.h | raw changeset files shortlog |
1.1 --- a/libfsserver/include/fsserver/pipe_paging.h Tue May 18 00:55:20 2021 +0200 1.2 +++ b/libfsserver/include/fsserver/pipe_paging.h Tue May 18 23:58:19 2021 +0200 1.3 @@ -58,6 +58,10 @@ 1.4 1.5 l4_cap_idx_t _irqs[2]; 1.6 1.7 + /* Common functionality. */ 1.8 + 1.9 + virtual void discard_region(unsigned int i); 1.10 + 1.11 public: 1.12 explicit PipePaging(Memory *memory, offset_t size); 1.13