1.1 --- a/libfsserver/include/fsserver/pipe_paging.h Sun Jul 11 23:11:39 2021 +0200
1.2 +++ b/libfsserver/include/fsserver/pipe_paging.h Sun Jul 11 23:21:08 2021 +0200
1.3 @@ -23,6 +23,7 @@
1.4
1.5 #include <set>
1.6
1.7 +#include <fsserver/notification.h>
1.8 #include <fsserver/page_mapper.h>
1.9 #include <fsserver/pages.h>
1.10 #include <fsserver/pipe_accessor.h>
1.11 @@ -32,7 +33,7 @@
1.12 /* Pipe paging support, maintaining the sequence of active regions or sections
1.13 in a pipe. */
1.14
1.15 -class PipePaging
1.16 +class PipePaging : public NotificationSupport
1.17 {
1.18 protected:
1.19 Memory *_memory;
1.20 @@ -56,11 +57,6 @@
1.21
1.22 unsigned int _endpoints = 2;
1.23
1.24 - /* Notification endpoints. */
1.25 -
1.26 - std::set<l4_cap_idx_t> _notifiers[2];
1.27 - notify_flags_t _flags[2], _deferred[2];
1.28 -
1.29 /* Common functionality. */
1.30
1.31 virtual void discard_region(unsigned int i);
1.32 @@ -73,7 +69,7 @@
1.33 virtual offset_t region_size()
1.34 { return _size; }
1.35
1.36 - /* Notification support. */
1.37 + /* Notification support customised for pipes. */
1.38
1.39 virtual void notify(bool writing, notify_flags_t flags);
1.40