1.1 --- a/libfsserver/include/fsserver/pipe_paging.h Sat May 15 23:38:39 2021 +0200
1.2 +++ b/libfsserver/include/fsserver/pipe_paging.h Tue May 18 00:55:20 2021 +0200
1.3 @@ -54,6 +54,10 @@
1.4
1.5 unsigned int _endpoints = 2;
1.6
1.7 + /* Notification IRQs. */
1.8 +
1.9 + l4_cap_idx_t _irqs[2];
1.10 +
1.11 public:
1.12 explicit PipePaging(Memory *memory, offset_t size);
1.13
1.14 @@ -62,6 +66,14 @@
1.15 virtual offset_t region_size()
1.16 { return _size; }
1.17
1.18 + /* Notification support. */
1.19 +
1.20 + virtual void notify(bool writing);
1.21 +
1.22 + virtual l4_cap_idx_t subscribe(bool writing);
1.23 +
1.24 + virtual void unsubscribe(bool writing);
1.25 +
1.26 /* Region management. */
1.27
1.28 virtual PageMapper *add_region();