1.1 --- a/libfsserver/include/fsserver/pipe_paging.h Fri Jul 02 23:53:13 2021 +0200
1.2 +++ b/libfsserver/include/fsserver/pipe_paging.h Tue Jul 06 00:45:25 2021 +0200
1.3 @@ -54,10 +54,10 @@
1.4
1.5 unsigned int _endpoints = 2;
1.6
1.7 - /* Notification IRQs. */
1.8 + /* Notification endpoints. */
1.9
1.10 - l4_cap_idx_t _irqs[2];
1.11 - notify_flags_t _flags[2];
1.12 + l4_cap_idx_t _notifiers[2];
1.13 + notify_flags_t _flags[2], _deferred[2];
1.14
1.15 /* Common functionality. */
1.16
1.17 @@ -75,7 +75,7 @@
1.18
1.19 virtual void notify(bool writing, notify_flags_t flags);
1.20
1.21 - virtual l4_cap_idx_t subscribe(bool writing, notify_flags_t flags);
1.22 + virtual void subscribe(bool writing, l4_cap_idx_t notifier, notify_flags_t flags);
1.23
1.24 virtual void unsubscribe(bool writing);
1.25