1.1 --- a/libfsserver/include/fsserver/pipe_paging.h Fri Jul 09 00:15:29 2021 +0200
1.2 +++ b/libfsserver/include/fsserver/pipe_paging.h Fri Jul 09 23:52:49 2021 +0200
1.3 @@ -21,6 +21,8 @@
1.4
1.5 #pragma once
1.6
1.7 +#include <set>
1.8 +
1.9 #include <fsserver/page_mapper.h>
1.10 #include <fsserver/pages.h>
1.11 #include <fsserver/pipe_accessor.h>
1.12 @@ -56,7 +58,7 @@
1.13
1.14 /* Notification endpoints. */
1.15
1.16 - l4_cap_idx_t _notifiers[2];
1.17 + std::set<l4_cap_idx_t> _notifiers[2];
1.18 notify_flags_t _flags[2], _deferred[2];
1.19
1.20 /* Common functionality. */
1.21 @@ -77,7 +79,7 @@
1.22
1.23 virtual void subscribe(bool writing, l4_cap_idx_t notifier, notify_flags_t flags);
1.24
1.25 - virtual void unsubscribe(bool writing);
1.26 + virtual void unsubscribe(bool writing, l4_cap_idx_t notifier);
1.27
1.28 /* Region management. */
1.29